diff src/preferences.c @ 2740:808983eb036e

Option to display window ID Additional Preferences/Windows option to show the window ID in the titlebar. Off by default.
author Colin Clark <colin.clark@cclark.uk>
date Tue, 03 Apr 2018 12:41:35 +0100
parents c3417ff92722
children 8bab8ac8ade0
line wrap: on
line diff
--- a/src/preferences.c	Sun Apr 01 11:36:20 2018 +0100
+++ b/src/preferences.c	Tue Apr 03 12:41:35 2018 +0100
@@ -256,6 +256,7 @@
 	options->save_window_positions = c_options->save_window_positions;
 	options->use_saved_window_positions_for_new_windows = c_options->use_saved_window_positions_for_new_windows;
 	options->save_dialog_window_positions = c_options->save_dialog_window_positions;
+	options->show_window_ids = c_options->show_window_ids;
 	options->image.scroll_reset_method = c_options->image.scroll_reset_method;
 	options->image.zoom_2pass = c_options->image.zoom_2pass;
 	options->image.fit_window_to_image = c_options->image.fit_window_to_image;
@@ -1806,6 +1807,9 @@
 	pref_checkbox_new_int(group, _("Remember dialog window positions"),
 			      options->save_dialog_window_positions, &c_options->save_dialog_window_positions);
 
+	pref_checkbox_new_int(group, _("Show window IDs"),
+			      options->show_window_ids, &c_options->show_window_ids);
+
 	group = pref_group_new(vbox, FALSE, _("Size"), GTK_ORIENTATION_VERTICAL);
 
 	pref_checkbox_new_int(group, _("Fit window to image when tools are hidden/floating"),