Use F12 for the minimap

F10 is used for sorting in one of the plugins. Fixes #645
linuxmint · Jun 11, 2024 · 647bfd2 · 647bfd2
1 parent c3b7079
commit 647bfd2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/xed/resources/ui/xed-shortcuts.ui b/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>

diff --git a/xed/xed-ui.h b/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 }
 };