diff options
| author |  waker <wakeroid@gmail.com> | 2012-11-06 21:28:18 +0100 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2012-11-06 21:58:37 +0100 |
| commit | d8c66c31fa2a616588f1f4657ad0cfaa26fe982e (patch) | |
| tree | a837d4508ecadc3f25a9ee01af7ec4d8d190a5bc /plugins/gtkui/callbacks.c | |
| parent | 1a20e32e750ae032f21c13f8001c718e42aeff41 (diff) | |
gtkui: new hotkey grabbing widget and other fixes
Diffstat (limited to 'plugins/gtkui/callbacks.c')
| -rw-r--r-- | plugins/gtkui/callbacks.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/plugins/gtkui/callbacks.c b/plugins/gtkui/callbacks.c index 42635ac9..60305973 100644 --- a/plugins/gtkui/callbacks.c +++ b/plugins/gtkui/callbacks.c @@ -1342,3 +1342,6 @@ on_design_mode1_activate (GtkMenuItem *menuitem, gboolean act = gtk_check_menu_item_get_active (GTK_CHECK_MENU_ITEM (menuitem)); w_set_design_mode (act ? 1 : 0); } + + + |