diff options
| author | Alex Merry <dev@randomguy3.me.uk> | 2012-06-29 15:12:49 +0100 |
|---|---|---|
| committer | Alex Merry <dev@randomguy3.me.uk> | 2012-06-29 15:12:49 +0100 |
| commit | 7b4db7aa75f8e60702fe7828e4be9b06ef7c5fc9 (patch) | |
| tree | 6b136cdd1b8161fe6eb53d0f9269ffccc57aeb6a /tikzit/src/gtk/Menu.m | |
| parent | 626622b7e570015f5f49e327dfe24660fb221411 (diff) | |
Be helpful about which panes are visible
If only one property/style pane is visible, auto-switch between them
depending on the tool.
Diffstat (limited to 'tikzit/src/gtk/Menu.m')
| -rw-r--r-- | tikzit/src/gtk/Menu.m | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tikzit/src/gtk/Menu.m b/tikzit/src/gtk/Menu.m index 37ab87c..b99336d 100644 --- a/tikzit/src/gtk/Menu.m +++ b/tikzit/src/gtk/Menu.m @@ -294,7 +294,8 @@ static void zoom_reset_cb (GtkAction *action, MainWindow *window) { static void input_mode_change_cb (GtkRadioAction *action, GtkRadioAction *current, MainWindow *window) { NSAutoreleasePool *pool = [[NSAutoreleasePool alloc] init]; - [[window graphInputHandler] setMode:(InputMode)gtk_radio_action_get_current_value (action)]; + InputMode mode = (InputMode)gtk_radio_action_get_current_value (action); + [[window graphInputHandler] setMode:mode]; [pool drain]; } |