index cc389c611be684fdc817d433e22f0da9cf56a9a2..c45952c839aea9762f5406fbd67cfdd978867790 100644 (file)
}
}
+void DialogPage::set_tip(Gtk::Widget& widget, const Glib::ustring& tip)
+{
+ _tooltips.set_tip (widget, tip);
+}
+
void PrefCheckButton::init(const Glib::ustring& label, const std::string& prefs_path, const std::string& attr,
bool default_value)
{
@@ -215,7 +220,7 @@ void PrefSpinButton::init(const std::string& prefs_path, const std::string& attr
if (is_int)
this->set_digits(0);
else if (step_increment < 0.1)
- this->set_digits(3);
+ this->set_digits(4);
else
this->set_digits(2);