diff options
author | Bastien Nocera <hadess@hadess.net> | 2009-12-22 15:15:13 +0000 |
---|---|---|
committer | Bastien Nocera <hadess@hadess.net> | 2009-12-22 15:15:13 +0000 |
commit | 86a9b24c1b95b9f942495c9a9b4b4e539c1902c3 (patch) | |
tree | 8f084bb19e88045453978241a5721b909e1f2b3d | |
parent | cb844acc76ccf9cd5a7c6fe808b1c330222a993c (diff) | |
download | totem-86a9b24c1b95b9f942495c9a9b4b4e539c1902c3.tar.gz |
Don't rebuild the Movie menu when nothing changed
As there's no DVB menu items to check any more.
-rw-r--r-- | src/totem-menu.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/totem-menu.c b/src/totem-menu.c index 6692c3c16..e294a447a 100644 --- a/src/totem-menu.c +++ b/src/totem-menu.c @@ -1079,10 +1079,9 @@ update_drive_menu_items (GtkMenuItem *movie_menuitem, Totem *totem) static void on_movie_menu_select (GtkMenuItem *movie_menuitem, Totem *totem) { - //FIXME we should check whether there's new DVB items -/* if (totem->drives_changed == FALSE) + if (totem->drives_changed == FALSE) return; -*/ + /* Remove old UI */ gtk_ui_manager_remove_ui (totem->ui_manager, totem->devices_ui_id); gtk_ui_manager_ensure_update (totem->ui_manager); |