static uint32_t Level4Modifier;
static uint32_t CopyModifier;
static uint32_t RangeSelectModifier;
+ static uint32_t GainFineScaleModifier;
+ static uint32_t GainExtraFineScaleModifier;
+
+ // Modifiers for scroll wheel
+ static uint32_t ScrollZoomVerticalModifier;
+ static uint32_t ScrollZoomHorizontalModifier;
+ static uint32_t ScrollHorizontalModifier;
static const char* primary_modifier_name ();
static const char* secondary_modifier_name ();
return (ev->state & RelevantModifierKeyMask) == 0;
}
+ static bool no_modifier_keys_pressed(GdkEventKey* ev) {
+ return (ev->state & RelevantModifierKeyMask) == 0;
+ }
+
bool leave_window (GdkEventCrossing *ev, Gtk::Window*);
bool enter_window (GdkEventCrossing *ev, Gtk::Window*);
static void magic_widget_grab_focus ();
static void magic_widget_drop_focus ();
+ static void close_current_dialog ();
+
static void keybindings_changed ();
static void save_keybindings ();
static bool load_keybindings (std::string path);
}
};
+ sigc::signal0<void> ZoomVerticalModifierReleased;
+
protected:
static Keyboard* _the_keyboard;