diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 18:23:29 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 18:23:29 +0000 |
commit | 24c26ce52aa95e4dddfaceb23025a0438ed34350 (patch) | |
tree | affcb8495b1da36432bd48dfaf5234358277a6ef /tikzit/src/gtk/NodeStylesPalette.m | |
parent | f0005d52707e1e8bfb19ba44782f169e59aa815d (diff) |
Remove the concept of an "active style" from StyleManager
It's all tool-based in the GTK+ interface now.
Diffstat (limited to 'tikzit/src/gtk/NodeStylesPalette.m')
-rw-r--r-- | tikzit/src/gtk/NodeStylesPalette.m | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tikzit/src/gtk/NodeStylesPalette.m b/tikzit/src/gtk/NodeStylesPalette.m index d5ac2e1..6964f4c 100644 --- a/tikzit/src/gtk/NodeStylesPalette.m +++ b/tikzit/src/gtk/NodeStylesPalette.m @@ -251,7 +251,6 @@ static void add_style_button_cb (GtkButton *widget, NodeStylesPalette *palette) NodeStyle *newStyle = [NodeStyle defaultNodeStyleWithName:@"newstyle"]; [[palette styleManager] addNodeStyle:newStyle]; - [[palette styleManager] setActiveNodeStyle:newStyle]; [pool drain]; } |