diff options
author | Cyrille Bagard <nocbos@gmail.com> | 2018-12-21 19:57:07 (GMT) |
---|---|---|
committer | Cyrille Bagard <nocbos@gmail.com> | 2018-12-21 19:57:07 (GMT) |
commit | f6490769c12dbb3b7766c7e6861284b8fee9f9e6 (patch) | |
tree | 2536b536a800c5087022c78d4ea88c4d8d841c56 /src/gui | |
parent | 365246bd2d9dd9f7eea008b25b8550bba0aac1cc (diff) |
Improved view switching.
Diffstat (limited to 'src/gui')
-rw-r--r-- | src/gui/menus/view.c | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/src/gui/menus/view.c b/src/gui/menus/view.c index 6bbd484..255f1d9 100644 --- a/src/gui/menus/view.c +++ b/src/gui/menus/view.c @@ -759,8 +759,6 @@ static void mcb_view_switch_to_prev_support(GtkRadioMenuItem *menuitem, gpointer static void handle_loaded_panel_first_allocation(GtkWidget *widget, GdkRectangle *alloc, GLineCursor *cursor) { - GtkAllocation allocation; /* Emplacement effectif */ - /* On ne réagit que la première fois */ g_signal_handlers_disconnect_by_func(widget, G_CALLBACK(handle_loaded_panel_first_allocation), cursor); @@ -768,19 +766,6 @@ static void handle_loaded_panel_first_allocation(GtkWidget *widget, GdkRectangle g_object_unref(G_OBJECT(cursor)); - /** - * Pour les mêmes raisons que celles exposées dans change_current_view_support(), - * l'affichage en vue graphique n'est pas centré initialement. - * - * On profite donc de ce crochet pour corriger le tir ! - */ - - if (GTK_IS_GRAPH_DISPLAY(widget)) - { - gtk_widget_get_allocation(widget, &allocation); - gtk_widget_size_allocate(widget, &allocation); - } - } |