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/EdgeStylesPalette.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/EdgeStylesPalette.m')
-rw-r--r-- | tikzit/src/gtk/EdgeStylesPalette.m | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/tikzit/src/gtk/EdgeStylesPalette.m b/tikzit/src/gtk/EdgeStylesPalette.m index bcb631e..1d55300 100644 --- a/tikzit/src/gtk/EdgeStylesPalette.m +++ b/tikzit/src/gtk/EdgeStylesPalette.m @@ -255,7 +255,6 @@ static void add_style_button_cb (GtkButton *widget, EdgeStylesPalette *palette) EdgeStyle *newStyle = [EdgeStyle defaultEdgeStyleWithName:@"newstyle"]; [[palette styleManager] addEdgeStyle:newStyle]; - [[palette styleManager] setActiveEdgeStyle:newStyle]; [pool drain]; } |