diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 13:47:58 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2013-02-04 14:22:59 +0000 |
commit | fe1b43c7b7c83e392b60ffc71ac29f7e63810f58 (patch) | |
tree | d1834ac7c5a531e56a0fa073ae690054fee0e6a7 /tikzit/src/gtk/EdgeStylesPalette.h | |
parent | e92425f179ee806eb27c10b47709b7ea2833a90b (diff) |
Put node and edge style editors into settings dialog
Diffstat (limited to 'tikzit/src/gtk/EdgeStylesPalette.h')
-rw-r--r-- | tikzit/src/gtk/EdgeStylesPalette.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/tikzit/src/gtk/EdgeStylesPalette.h b/tikzit/src/gtk/EdgeStylesPalette.h index a7d715b..c0c6c4b 100644 --- a/tikzit/src/gtk/EdgeStylesPalette.h +++ b/tikzit/src/gtk/EdgeStylesPalette.h @@ -21,10 +21,8 @@ @class StyleManager; @class EdgeStyleSelector; @class EdgeStyleEditor; -@class TikzDocument; @interface EdgeStylesPalette: NSObject { - TikzDocument *document; EdgeStyleSelector *selector; EdgeStyleEditor *editor; @@ -36,7 +34,6 @@ } @property (retain) StyleManager *styleManager; -@property (retain) TikzDocument *document; @property (readonly) GtkWidget *widget; - (id) initWithManager:(StyleManager*)m; |