diff options
author | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:27:07 +0000 |
---|---|---|
committer | Alex Merry <alex.merry@cs.ox.ac.uk> | 2012-12-07 17:27:07 +0000 |
commit | 3eb2ed59378f51ea91100dc36d6ae176b696f926 (patch) | |
tree | 869b6ed5ac3dffba40da58ecd13976e96f6e0eec /tikzit/src/gtk/PropertyListEditor.m | |
parent | 815535a6159b8832dcc26554e5543cba1a020cbd (diff) |
Add a propery editor window
Diffstat (limited to 'tikzit/src/gtk/PropertyListEditor.m')
-rw-r--r-- | tikzit/src/gtk/PropertyListEditor.m | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tikzit/src/gtk/PropertyListEditor.m b/tikzit/src/gtk/PropertyListEditor.m index 51f3cbf..f53ed0f 100644 --- a/tikzit/src/gtk/PropertyListEditor.m +++ b/tikzit/src/gtk/PropertyListEditor.m @@ -114,6 +114,7 @@ static void remove_clicked_cb (GtkButton *button, widget = gtk_vbox_new (FALSE, 0); gtk_box_set_spacing (GTK_BOX (widget), 6); + gtk_container_set_border_width (GTK_CONTAINER (widget), 6); g_object_ref_sink (G_OBJECT (widget)); GtkWidget *listFrame = gtk_frame_new (NULL); @@ -165,6 +166,8 @@ static void remove_clicked_cb (GtkButton *button, gtk_widget_show_all (GTK_WIDGET (buttonBox)); gtk_widget_show_all (scrolledview); + + gtk_widget_set_sensitive (widget, FALSE); } return self; @@ -207,6 +210,7 @@ static void remove_clicked_cb (GtkButton *button, [data release]; data = d; [self reloadProperties]; + gtk_widget_set_sensitive (widget, data != nil); } - (NSObject<PropertyChangeDelegate>*) delegate { |