Redraw graphs when shapes are refreshed

1 files changed, 11 insertions, 0 deletions

diff --git a/tikzit/src/gtk/GraphRenderer.m b/tikzit/src/gtk/GraphRenderer.m
index 278f245..b413d3e 100644
--- a/tikzit/src/gtk/GraphRenderer.m
+++ b/tikzit/src/gtk/GraphRenderer.m
@@ -19,6 +19,7 @@
 #import "GraphRenderer.h"
 #import "Edge+Render.h"
 #import "Node+Render.h"
+#import "Shape.h"
 
 void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event);
 
@@ -31,6 +32,7 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event);
 - (void) graphChanged:(NSNotification*)notification;
 - (void) nodeStylePropertyChanged:(NSNotification*)notification;
 - (void) edgeStylePropertyChanged:(NSNotification*)notification;
+- (void) shapeDictionaryReplaced:(NSNotification*)notification;
 @end
 
 @implementation GraphRenderer
@@ -288,6 +290,11 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event);
                 addObserver:self
                 selector:@selector(graphNeedsRefreshing:)
                 name:@"EdgeSelectionReplaced" object:[doc pickSupport]];
+        [[NSNotificationCenter defaultCenter]
+                addObserver:self
+                   selector:@selector(shapeDictionaryReplaced:)
+                       name:@"ShapeDictionaryReplaced"
+                     object:[Shape class]];
     }
     [surface invalidate];
 }
@@ -460,6 +467,10 @@ void graph_renderer_expose_event(GtkWidget *widget, GdkEventExpose *event);
     }
 }
 
+- (void) shapeDictionaryReplaced:(NSNotification*)notification {
+    [surface invalidate];
+}
+
 @end
 
 // vim:ft=objc:ts=8:et:sts=4:sw=4