diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-30 16:32:38 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-06-30 16:32:38 -0400 |
| commit | e8fc8aa992f7fad798935de227e2a15d0a075c71 (patch) | |
| tree | 3cdad72026800fc28874b73492d3a14279c0257c /gtk2_ardour/session_option_editor.cc | |
| parent | d816c225a4c4a433d8857dca79395fbf73d9476c (diff) | |
new UI config var to allow playhead to be optionally draggable (default is: yes, it can be dragged)
Diffstat (limited to 'gtk2_ardour/session_option_editor.cc')
0 files changed, 0 insertions, 0 deletions