diff options
Diffstat (limited to 'src/gui/panels/symbols.c')
| -rw-r--r-- | src/gui/panels/symbols.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/gui/panels/symbols.c b/src/gui/panels/symbols.c index 6cc391f..63864d3 100644 --- a/src/gui/panels/symbols.c +++ b/src/gui/panels/symbols.c @@ -386,6 +386,7 @@ static void on_symbols_selection_change(GtkTreeSelection *selection, GSymbolsPan void change_symbols_panel_current_binary(GSymbolsPanel *panel, GLoadedBinary *binary) { GtkToggleToolButton *button; /* Mode de représentation */ + GtkRequisition req; /* Nouvelle taille idéale */ if (panel->binary != NULL) g_object_unref(G_OBJECT(panel->binary)); @@ -405,6 +406,9 @@ void change_symbols_panel_current_binary(GSymbolsPanel *panel, GLoadedBinary *bi reorganize_symbols_tree_view(NULL, G_OBJECT(G_EDITOR_ITEM(panel)->widget)); } + gtk_widget_size_request(GTK_WIDGET(panel->treeview), &req); + gtk_widget_set_size_request(GTK_WIDGET(panel->treeview), req.width, req.height); + } |