diff options
author | Robin Gareus <robin@gareus.org> | 2017-09-23 19:39:36 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-09-23 19:39:36 +0200 |
commit | 39fb5762b0d7fe7723bbad38abf22387b7d9c432 (patch) | |
tree | ae237aff33bf937f6b5d2c394ed609faf4294f19 /libs/widgets/barcontroller.cc | |
parent | a9c8a25fc4240e0df3f87316d94989d53cc67747 (diff) |
Add API set bar-controller spinbox digits
..and reduce default to 4 digits.
Diffstat (limited to 'libs/widgets/barcontroller.cc')
-rw-r--r-- | libs/widgets/barcontroller.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/widgets/barcontroller.cc b/libs/widgets/barcontroller.cc index 896652c600..9f5017ee3f 100644 --- a/libs/widgets/barcontroller.cc +++ b/libs/widgets/barcontroller.cc @@ -58,7 +58,7 @@ BarController::BarController (Gtk::Adjustment& adj, Gtk::SpinButton& spinner = _slider.get_spin_button(); spinner.signal_activate().connect (mem_fun (*this, &BarController::entry_activated)); spinner.signal_focus_out_event().connect (mem_fun (*this, &BarController::entry_focus_out)); - spinner.set_digits (9); + spinner.set_digits (4); spinner.set_numeric (true); spinner.set_name ("BarControlSpinner"); add (_slider); |