diff options
author | Robin Gareus <robin@gareus.org> | 2018-01-14 18:41:21 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2018-01-14 18:49:27 +0100 |
commit | d03352cfac292a8c4ac92d811994594b027bc0d8 (patch) | |
tree | 5a1d36284a92896e0fe3ea0e6511a14e8280643c /gtk2_ardour/rc_option_editor.cc | |
parent | b0c5005cecbe248b865c85e91b4b70410912bc6e (diff) |
Add Toolbar disk-space widget.
Diffstat (limited to 'gtk2_ardour/rc_option_editor.cc')
-rw-r--r-- | gtk2_ardour/rc_option_editor.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc index 84d0628183..bef5780fad 100644 --- a/gtk2_ardour/rc_option_editor.cc +++ b/gtk2_ardour/rc_option_editor.cc @@ -3806,6 +3806,14 @@ RCOptionEditor::RCOptionEditor () add_option (_("Appearance/Toolbar"), new BoolOption ( + "show-disk-space-info", + _("Display Disk Space Information"), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_show_disk_space_info), + sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::set_show_disk_space_info) + )); + + add_option (_("Appearance/Toolbar"), + new BoolOption ( "show-mini-timeline", _("Display Navigation Timeline"), sigc::mem_fun (UIConfiguration::instance(), &UIConfiguration::get_show_mini_timeline), |