added option for selecting whether to use the extended zoom levels

This commit is contained in:
Alberto Griggio
2017-03-17 09:04:07 +01:00
parent 674cdb93be
commit 51f909a21e
6 changed files with 23 additions and 3 deletions

View File

@@ -121,6 +121,7 @@ class Preferences : public Gtk::Dialog, public ProfileStoreListener
Gtk::SpinButton* panFactor;
Gtk::CheckButton* rememberZoomPanCheckbutton;
Gtk::CheckButton* extendedZoomLevelsCheckbutton;
Gtk::ComboBoxText* view;
Gtk::ComboBoxText* grey;