diff options
Diffstat (limited to 'src/gui')
| -rw-r--r-- | src/gui/menus/view.c | 16 | 
1 files changed, 16 insertions, 0 deletions
diff --git a/src/gui/menus/view.c b/src/gui/menus/view.c index 63b6371..059a598 100644 --- a/src/gui/menus/view.c +++ b/src/gui/menus/view.c @@ -40,6 +40,7 @@  #include "../core/panels.h"  #include "../../analysis/loaded.h"  #include "../../gtkext/easygtk.h" +#include "../../gtkext/gtkgraphdisplay.h" @@ -758,6 +759,8 @@ 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); @@ -765,6 +768,19 @@ 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); +    } +  }  | 
