diff options
author | 2013-11-23 20:21:34 +0100 | |
---|---|---|
committer | 2013-11-23 20:21:34 +0100 | |
commit | 027eb7dcffb53d6f5965958484c0ac34f4d27e5d (patch) | |
tree | 724b89d2f5dc9cf679d9473157f16fc82cc66414 /plugins | |
parent | cb7462555f5ba606a1fb844f82cd386610ab7896 (diff) |
gtkui: don't render placeholders when not in design mode
Diffstat (limited to 'plugins')
-rw-r--r-- | plugins/gtkui/widgets.c | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/plugins/gtkui/widgets.c b/plugins/gtkui/widgets.c index a07106a7..f4bb371b 100644 --- a/plugins/gtkui/widgets.c +++ b/plugins/gtkui/widgets.c @@ -216,17 +216,10 @@ w_get_rootwidget (void) { return rootwidget; } -static void -set_design_mode (ddb_gtkui_widget_t *w) { - for (ddb_gtkui_widget_t *c = w->children; c; c = c->next) { - set_design_mode (c); - } -} - void w_set_design_mode (int active) { design_mode = active; - set_design_mode (rootwidget); + gtk_widget_queue_draw (mainwin); } int @@ -803,6 +796,9 @@ w_container_remove (ddb_gtkui_widget_t *cont, ddb_gtkui_widget_t *child) { ////// placeholder widget gboolean w_placeholder_draw (GtkWidget *widget, cairo_t *cr, gpointer user_data) { + if (!design_mode) { + return FALSE; + } cairo_set_source_rgb (cr, 255, 0, 0); cairo_surface_t *checker; cairo_t *cr2; |