diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2012-12-12 21:25:32 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2012-12-12 21:25:32 (GMT) |
commit | dae8c208e24d03c7bf5314a86cb366a4e84a53c2 (patch) | |
tree | ed0544d501d6ad8819e4abc18c7382199666bba3 /src/gtkext/gtkviewpanel.c | |
parent | e86f211252a66d6c1b4abec350217f5241b6ef66 (diff) |
Updated display of graphical views on option change and fixed size bugs.
git-svn-id: svn://svn.gna.org/svn/chrysalide/trunk@301 abbe820e-26c8-41b2-8c08-b7b2b41f8b0a
Diffstat (limited to 'src/gtkext/gtkviewpanel.c')
-rw-r--r-- | src/gtkext/gtkviewpanel.c | 18 |
1 files changed, 16 insertions, 2 deletions
diff --git a/src/gtkext/gtkviewpanel.c b/src/gtkext/gtkviewpanel.c index a3bf747..ab0f237 100644 --- a/src/gtkext/gtkviewpanel.c +++ b/src/gtkext/gtkviewpanel.c @@ -410,12 +410,19 @@ bool gtk_view_panel_get_addresses_display(const GtkViewPanel *panel) * * ******************************************************************************/ -void gtk_view_panel_set_addresses_display(const GtkViewPanel *panel, bool state) +void gtk_view_panel_set_addresses_display(GtkViewPanel *panel, bool state) { if (*panel->display_addr != state) { *panel->display_addr = state; + + if (panel->resize != NULL) + panel->resize(panel); + + gtk_widget_queue_resize(gtk_widget_get_parent(GTK_WIDGET(panel))); + gtk_widget_queue_resize(GTK_WIDGET(panel)); gtk_widget_queue_draw(GTK_WIDGET(panel)); + } } @@ -453,12 +460,19 @@ bool gtk_view_panel_get_code_display(const GtkViewPanel *panel) * * ******************************************************************************/ -void gtk_view_panel_set_code_display(const GtkViewPanel *panel, bool state) +void gtk_view_panel_set_code_display(GtkViewPanel *panel, bool state) { if (*panel->display_code != state) { *panel->display_code = state; + + if (panel->resize != NULL) + panel->resize(panel); + + gtk_widget_queue_resize(gtk_widget_get_parent(GTK_WIDGET(panel))); + gtk_widget_queue_resize(GTK_WIDGET(panel)); gtk_widget_queue_draw(GTK_WIDGET(panel)); + } } |