diff options
author | Alex Merry <dev@randomguy3.me.uk> | 2013-03-24 14:49:24 +0000 |
---|---|---|
committer | Alex Merry <dev@randomguy3.me.uk> | 2013-03-24 14:49:24 +0000 |
commit | 9afd11b2c7bd6ac5b964555aa539572250bcef4c (patch) | |
tree | d302174bc03d34c8b2dcdb2d02dc7fa237c806e1 /tikzit/src/gtk/PropertyListEditor.h | |
parent | cafc2846ba300ec59a71cc0ef4ddfd8d24003540 (diff) |
Disable the "remove properties" button when no property is selected
Diffstat (limited to 'tikzit/src/gtk/PropertyListEditor.h')
-rw-r--r-- | tikzit/src/gtk/PropertyListEditor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tikzit/src/gtk/PropertyListEditor.h b/tikzit/src/gtk/PropertyListEditor.h index fd7e395..85fa8d2 100644 --- a/tikzit/src/gtk/PropertyListEditor.h +++ b/tikzit/src/gtk/PropertyListEditor.h @@ -32,6 +32,7 @@ GtkWidget *view; GraphElementData *data; GtkWidget *widget; + GtkWidget *removeButton; NSObject<PropertyChangeDelegate> *delegate; } |