wxGUI: Ctrl+Tab to switch tabs

       (merge https://trac.osgeo.org/grass/changeset/39958 from devbr6)


git-svn-id: https://svn.osgeo.org/grass/grass/trunk@39959 15284696-431f-4ddb-bdfa-cd5b030d7da7

gui/wxpython/docs/wxGUI.html

@@ -272,6 +272,8 @@ d.text text=Population\ density
 
 <b>Global</b>
 <dl>
+  <dt>Ctrl+Tab</dt>
+  <dd>Switch 'Map layers' and 'Command output' tab</dd>
   <dt>Alt+R</dt>
   <dd>Add raster map layer</dd>
   <dt>Alt+V</dt>
@@ -517,7 +519,7 @@ See also <a href="http://grass.osgeo.org/wiki/WxGUI">Wiki</a> page.
 
 <h2>AUTHORS</h2>
 
-Martin Landa, FBK-irst, Trento, Italy<br>
+Martin Landa, FBK-irst, Trento, Italy, and CTU in Prague, Czech Republic<br>
 Michael Barton, Arizona State University, USA<br>
 Daniel Calvelo Aros,<br>
 Jachym Cepicky

gui/wxpython/wxgui.py

@@ -1467,8 +1467,18 @@ class GMFrame(wx.Frame):
         
     def OnKey(self, event):
         """!Check hotkey"""
+        kc = event.GetKeyCode()
+                
+        if event.ControlDown():
+            if kc == wx.WXK_TAB:
+                # switch layer list / command output
+                if self.notebook.GetSelection() == 0:
+                    self.notebook.SetSelection(1)
+                else:
+                    self.notebook.SetSelection(0)
+        
         try:
-            kc = chr(event.GetKeyCode())
+            ckc = chr(kc)
         except ValueError:
             event.Skip()
             return