diff options
Diffstat (limited to 'src/gui/panels/bookmarks.c')
-rw-r--r-- | src/gui/panels/bookmarks.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/gui/panels/bookmarks.c b/src/gui/panels/bookmarks.c index 27655cd..b7d0bc3 100644 --- a/src/gui/panels/bookmarks.c +++ b/src/gui/panels/bookmarks.c @@ -182,7 +182,7 @@ static void mcb_bookmarks_panel_filter(GtkMenuItem *, GBookmarksPanel *); /* Indique le type définit pour un panneau d'affichage des signets liés à un binaire. */ G_DEFINE_TYPE_WITH_CODE(GBookmarksPanel, g_bookmarks_panel, G_TYPE_PANEL_ITEM, - G_IMPLEMENT_INTERFACE(GTK_TYPE_DOCKABLE, g_bookmarks_panel_dockable_interface_init)) + G_IMPLEMENT_INTERFACE(GTK_TYPE_DOCKABLE, g_bookmarks_panel_dockable_interface_init)); /****************************************************************************** |