# 
# patch "ui.ml"
#  from [e18db3fd1fddaf0c5b1efcd5a31bfc25b4188bb8]
#    to [9f04b2665f883b08f4d714b5e311a958e9ad50b6]
# 
========================================================================
--- ui.ml	e18db3fd1fddaf0c5b1efcd5a31bfc25b4188bb8
+++ ui.ml	9f04b2665f883b08f4d714b5e311a958e9ad50b6
@@ -85,8 +85,8 @@
   GAction.add_actions g_view [
   add "ViewMenu" ~label:"_View" ;
   add "Refresh"  ~stock:`REFRESH  ~tooltip:"Reload"   ~accel:"<Ctrl>R" ;
-  add "Zoom_in"  ~stock:`ZOOM_IN  ~tooltip:"Zoom in"  ~accel:"KP_Add" ;
-  add "Zoom_out" ~stock:`ZOOM_OUT ~tooltip:"Zoom out" ~accel:"KP_Subtract" ;
+  add "Zoom_in"  ~stock:`ZOOM_IN  ~tooltip:"Zoom in"  ~accel:"<Ctrl>plus" ;
+  add "Zoom_out" ~stock:`ZOOM_OUT ~tooltip:"Zoom out" ~accel:"<Ctrl>minus" ;
   add "Query"    ~stock:`FIND     ~tooltip:"Search the database" ] ;
   g_view#set_sensitive false ;
   (g_main, g_popup, g_view)