rendernode-tool: Save to tiff

If the save filename ends in .tiff, save to tiff instead.

For now this is a sneaky autodetect feature, not sure if/how to make it
more explicit.

diff --git a/tools/gtk-rendernode-tool-render.c b/tools/gtk-rendernode-tool-render.c
index c8fb133c2a15fdb22fff4733635f679d87392c12..77be8ea412e00a5494f151754d90e673d4551c39 100644 (file)
--- a/tools/gtk-rendernode-tool-render.c
+++ b/tools/gtk-rendernode-tool-render.c
@@ -85,8 +85,11 @@ render_file (const char *filename,
         }
     }
 
-
-  bytes = gdk_texture_save_to_png_bytes (texture);
+  if (g_str_has_suffix (save_to, ".tif") ||
+      g_str_has_suffix (save_to, ".tiff"))
+    bytes = gdk_texture_save_to_tiff_bytes (texture);
+  else
+    bytes = gdk_texture_save_to_png_bytes (texture);
 
   if (g_file_set_contents (save_to,
                            g_bytes_get_data (bytes, NULL),