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/EdgeStyleSelector.h | |
| 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/EdgeStyleSelector.h')
| -rw-r--r-- | tikzit/src/gtk/EdgeStyleSelector.h | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/tikzit/src/gtk/EdgeStyleSelector.h b/tikzit/src/gtk/EdgeStyleSelector.h index 935c9b7..1ae1f3c 100644 --- a/tikzit/src/gtk/EdgeStyleSelector.h +++ b/tikzit/src/gtk/EdgeStyleSelector.h @@ -23,8 +23,6 @@ GtkListStore *store; GtkTreeView *view; StyleManager *styleManager; - BOOL linkedToActiveStyle; - BOOL suppressSetActiveStyle; } /*! @@ -40,16 +38,8 @@ @property (retain) StyleManager *styleManager; /*! - @property linkedToActiveStyles - @brief Whether the current selection should be the same as the - style manager's active style - */ -@property (getter=isLinkedToActiveStyle) BOOL linkedToActiveStyle; - -/*! @property selectedStyle - @brief The selected style. If linkedToActiveStyle is YES, this - will be the same as [manager activeStyle]. + @brief The selected style. When this changes, a SelectedStyleChanged notification will be posted */ |