Closes: bgo#615164
Keyboard shortcuts for moving tabs and for changing tabs work in the opposite direction.
Users may expect them to work in the same direction and to be consistant with other GNOME applications.
The mapping is now Ctrl + Shift + PageUp / PageDown for moving tabs left / right respectively, as it is in GNOME Terminal for instance.
<property name="name">menu_tabs_left</property>
<property name="label" translatable="yes">Move Tab _Left</property>
</object>
- <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK|GDK_SHIFT_MASK"/>
+ <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK|GDK_SHIFT_MASK"/>
</child>
<child>
<object class="GtkAction" id="menu_tabs_right">
<property name="name">menu_tabs_right</property>
<property name="label" translatable="yes">Move Tab _Right</property>
</object>
- <accelerator key="Page_Up" modifiers="GDK_CONTROL_MASK|GDK_SHIFT_MASK"/>
+ <accelerator key="Page_Down" modifiers="GDK_CONTROL_MASK|GDK_SHIFT_MASK"/>
</child>
<child>
<object class="GtkAction" id="menu_tabs_detach">