tempo dialog uses three decimal places in numeric entry.

[ardour.git] / gtk2_ardour / color_theme_manager.h

diff --git a/gtk2_ardour/color_theme_manager.h b/gtk2_ardour/color_theme_manager.h
index 21485464d8ca57e873330218af8873aec162f39b..104bca847b686c741beaa3fb602a8f0dccd93fce 100644 (file)
--- a/gtk2_ardour/color_theme_manager.h
+++ b/gtk2_ardour/color_theme_manager.h
@@ -58,6 +58,8 @@ class ColorThemeManager : public OptionEditorMiniPage
 
        void set_note (std::string const &);
 
+       void add_to_page (OptionEditorPage*);
+
        Gtk::Widget& tip_widget();
 
   private: