diff options
| author | Jon A. Cruz <jon@joncruz.org> | 2008-02-26 08:48:53 +0000 |
|---|---|---|
| committer | joncruz <joncruz@users.sourceforge.net> | 2008-02-26 08:48:53 +0000 |
| commit | 1a7f5be9612a33f6c56e28c2afc2b8f423b3bfcb (patch) | |
| tree | 4342a124e2fae65a09cbcf2037e60e3c3b8c4fb0 /src/ui/dialog/inkscape-preferences.cpp | |
| parent | Initial cut of switching tools to match tablet input device. (diff) | |
| download | inkscape-1a7f5be9612a33f6c56e28c2afc2b8f423b3bfcb.tar.gz inkscape-1a7f5be9612a33f6c56e28c2afc2b8f423b3bfcb.zip | |
Added preference UI item to toggle tablet tool switching
(bzr r4858)
Diffstat (limited to 'src/ui/dialog/inkscape-preferences.cpp')
| -rw-r--r-- | src/ui/dialog/inkscape-preferences.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/ui/dialog/inkscape-preferences.cpp b/src/ui/dialog/inkscape-preferences.cpp index 1dc693903..880fb89b7 100644 --- a/src/ui/dialog/inkscape-preferences.cpp +++ b/src/ui/dialog/inkscape-preferences.cpp @@ -79,9 +79,9 @@ InkscapePreferences::InkscapePreferences() _page_list_model = Gtk::TreeStore::create(_page_list_columns); _page_list.set_model(_page_list_model); _page_list.append_column("name",_page_list_columns._col_name); - Glib::RefPtr<Gtk::TreeSelection> page_list_selection = _page_list.get_selection(); - page_list_selection->signal_changed().connect(sigc::mem_fun(*this, &InkscapePreferences::on_pagelist_selection_changed)); - page_list_selection->set_mode(Gtk::SELECTION_BROWSE); + Glib::RefPtr<Gtk::TreeSelection> page_list_selection = _page_list.get_selection(); + page_list_selection->signal_changed().connect(sigc::mem_fun(*this, &InkscapePreferences::on_pagelist_selection_changed)); + page_list_selection->set_mode(Gtk::SELECTION_BROWSE); //Pages Gtk::VBox* vbox_page = Gtk::manage(new Gtk::VBox()); @@ -155,6 +155,9 @@ void InkscapePreferences::initPageMouse() _page_mouse.add_line(true, "",_mouse_use_ext_input, "", _("Use the capabilities of a tablet or other pressure-sensitive device. Disable this only if you have problems with the tablet (you can still use it as a mouse)")); + _mouse_switch_on_ext_input.init( _("Switch tool based on tablet device (requires restart)"), "options.switchonextinput", "value", false); + _page_mouse.add_line(true, "",_mouse_switch_on_ext_input, "", + _("Change tool as different devices are used on the tablet (pen, eraser, mouse)")); } void InkscapePreferences::initPageScrolling() |