Use F12 for the minimap

F10 is used for sorting in one of the plugins.

Fixes #645

Author: clefebvre

xed/resources/ui/xed-shortcuts.ui

@@ -105,7 +105,7 @@
             <child>
               <object class="GtkShortcutsShortcut">
                 <property name="visible">1</property>
-                <property name="accelerator">F10</property>
+                <property name="accelerator">F12</property>
                 <property name="title" translatable="yes">Show overview map</property>
               </object>
             </child>

xed/xed-ui.h

@@ -172,7 +172,7 @@ static const GtkToggleActionEntry xed_always_sensitive_toggle_menu_entries[] =
     { "ViewWordWrap", NULL, N_("_Word wrap"), "<control>R",
       N_("Set word wrap for the current document"),
       G_CALLBACK (_xed_cmd_view_toggle_word_wrap), FALSE },
-    { "ViewOverviewMap", NULL, N_("_Overview Map"), "F10",
+    { "ViewOverviewMap", NULL, N_("_Overview Map"), "F12",
       N_("Show or hide the overview map for the current view"),
       G_CALLBACK (_xed_cmd_view_toggle_overview_map), FALSE }
 };