diff options
Diffstat (limited to 'tikzit')
-rw-r--r-- | tikzit/src/gtk/GraphRenderer.m | 11 |
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 |