diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-14 15:03:33 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-14 15:03:33 +0000 |
commit | 2ab14c0fb8dbf8850423fbb2e38a24ea881a8e49 (patch) | |
tree | ca4f2b3c89b5326cb3b24cbb0290cb9d23e464ea /tikzit/src/gtk/EdgeStylesPalette.m | |
parent | da7ca216f1d79ee1d79ad5d0ba270b09247a87b7 (diff) |
Factor out the model for the edge style selector
This allows us to use it in other widgets.
Diffstat (limited to 'tikzit/src/gtk/EdgeStylesPalette.m')
-rw-r--r-- | tikzit/src/gtk/EdgeStylesPalette.m | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tikzit/src/gtk/EdgeStylesPalette.m b/tikzit/src/gtk/EdgeStylesPalette.m index 1d55300..7e42552 100644 --- a/tikzit/src/gtk/EdgeStylesPalette.m +++ b/tikzit/src/gtk/EdgeStylesPalette.m @@ -144,11 +144,11 @@ static void clear_style_button_cb (GtkButton *widget, EdgeStylesPalette *palette } - (StyleManager*) styleManager { - return [selector styleManager]; + return [[selector model] styleManager]; } - (void) setStyleManager:(StyleManager*)m { - [selector setStyleManager:m]; + [[selector model] setStyleManager:m]; } - (TikzDocument*) document { @@ -221,7 +221,7 @@ static void clear_style_button_cb (GtkButton *widget, EdgeStylesPalette *palette - (void) removeSelectedStyle { EdgeStyle *style = [selector selectedStyle]; if (style) - [[selector styleManager] removeEdgeStyle:style]; + [[[selector model] styleManager] removeEdgeStyle:style]; } - (void) applySelectedStyle { |