diff options
| author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 17:50:59 +0000 |
|---|---|---|
| committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-11 17:50:59 +0000 |
| commit | f0005d52707e1e8bfb19ba44782f169e59aa815d (patch) | |
| tree | 6e165b4d72c6d992685997529aa242fb6838dc07 /tikzit/src/gtk/PropertiesWindow.h | |
| parent | 81763ee4781833a78f06b0a799713e3412189256 (diff) | |
Remove use of GtkFrame in tool windows
It's unnecessary and a waste of space. Use bolded titles instead.
Diffstat (limited to 'tikzit/src/gtk/PropertiesWindow.h')
| -rw-r--r-- | tikzit/src/gtk/PropertiesWindow.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/tikzit/src/gtk/PropertiesWindow.h b/tikzit/src/gtk/PropertiesWindow.h index 3f4cce4..cc4316f 100644 --- a/tikzit/src/gtk/PropertiesWindow.h +++ b/tikzit/src/gtk/PropertiesWindow.h @@ -43,9 +43,9 @@ GtkWidget *window; GtkWidget *propertiesPane; - GtkWidget *graphPropsBin; - GtkWidget *nodePropsBin; - GtkWidget *edgePropsBin; + GtkWidget *graphPropsWidget; + GtkWidget *nodePropsWidget; + GtkWidget *edgePropsWidget; GtkEntry *nodeLabelEntry; GtkToggleButton *edgeNodeToggle; |