diff src/preferences.c @ 2596:9c435c86a296

Optional timer data in log window
author Colin Clark <colin.clark@cclark.uk>
date Mon, 11 Sep 2017 18:19:46 +0100
parents c6f9494f6be1
children e65df743a5a1
line wrap: on
line diff
--- a/src/preferences.c	Sun Sep 10 19:24:20 2017 +0100
+++ b/src/preferences.c	Mon Sep 11 18:19:46 2017 +0100
@@ -2243,6 +2243,9 @@
 	pref_spin_new_int(group, _("Debug level:"), NULL,
 			  DEBUG_LEVEL_MIN, DEBUG_LEVEL_MAX, 1, get_debug_level(), &debug_c);
 
+	pref_checkbox_new_int(group, _("Timer data"),
+			options->log_window.timer_data, &c_options->log_window.timer_data);
+
 	pref_spin_new_int(group, _("Log Window max. lines:"), NULL,
 			  1, 99999, 1, options->log_window_lines, &options->log_window_lines);
 #endif