chiark - git - mdw - e16/blob - debian/patch/001_menus.patch

   1 Index: b/config/enlightenment.menu
   2 ===================================================================
   3 --- a/config/enlightenment.menu 2009-06-22 01:36:26.355943870 -0400
   4 +++ b/config/enlightenment.menu 2009-06-22 01:37:15.589818599 -0400
   5 @@ -1,5 +1,6 @@
   6  "Enlightenment" "ROOT"
   7  "User Menus"           NULL menu file.menu
   8 +"Debian Menus"          NULL menu /var/lib/e16/debian.menu
   9  "Settings"             NULL cfg
  10  "Desktop"              NULL menu desktop.menu
  11  "Themes"               NULL menu themes
  12 Index: b/scripts/e_gen_menu
  13 ===================================================================
  14 --- a/scripts/e_gen_menu        2009-06-22 01:37:24.982818998 -0400
  15 +++ b/scripts/e_gen_menu        2009-06-22 01:38:26.706818784 -0400
  16 @@ -83,6 +83,7 @@
  17  @MainMenu = (
  18         "t:User Menus",
  19         "m:User Application List:user_apps.menu",
  20 +       "m:Debian Menus:/var/lib/e16/debian.menu",
  21         "m:GNOME:menus_GNOME/index.menu",
  22         "m:KDE:menus_KDE/index.menu",
  23         "m:Other:menus_Other/index.menu",