new UI config var to allow playhead to be optionally draggable (default is: yes, it can be dragged)

This commit is contained in:
Paul Davis 2014-06-30 16:32:38 -04:00
parent d816c225a4
commit e8fc8aa992
5 changed files with 27 additions and 1 deletions

View file

@ -26,4 +26,5 @@ UI_CONFIG_VARIABLE(bool, all_floating_windows_are_dialogs, "all-floating-windows
UI_CONFIG_VARIABLE (bool, color_regions_using_track_color, "color-regions-using-track-color", false)
UI_CONFIG_VARIABLE (bool, show_waveform_clipping, "show-waveform-clipping", true)
UI_CONFIG_VARIABLE (uint32_t, lock_gui_after_seconds, "lock-gui-after-seconds", 0)
UI_CONFIG_VARIABLE (bool, draggable_playhead, "draggable-playhead", true)