diff options
| author |  waker <wakeroid@gmail.com> | 2012-11-01 21:49:15 +0100 |
|---|---|---|
| committer | waker <wakeroid@gmail.com> | 2012-11-01 21:49:15 +0100 |
| commit | ccf81f499fbee8cee35c36ec35b4f17d46719804 (patch) | |
| tree | 13ca715926b9cecf6868ed54c84cd8f1013775fe /plugins/gtkui/callbacks.c | |
| parent | f6b5f3e09094e2e654abd2514ddb95b3fa106f8a (diff) | |
gtkui: hotkey grabber widget WIP
Diffstat (limited to 'plugins/gtkui/callbacks.c')
| -rw-r--r-- | plugins/gtkui/callbacks.c | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/plugins/gtkui/callbacks.c b/plugins/gtkui/callbacks.c index 66d0b17e..17109be8 100644 --- a/plugins/gtkui/callbacks.c +++ b/plugins/gtkui/callbacks.c @@ -1311,6 +1311,3 @@ 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); } - - - |