[gnome-user-docs] Update shell-workspaces-switch

[Petr Kovář <pmkovar src gnome org>]

commit 298487326b9216c28e2673f029065d8592896bc9
Author: Petr Kovar <pkovar redhat com>
Date:   Mon Mar 18 19:11:23 2013 +0100

    Update shell-workspaces-switch

 gnome-help/C/shell-workspaces-switch.page |   14 +++++++-------
 1 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/gnome-help/C/shell-workspaces-switch.page b/gnome-help/C/shell-workspaces-switch.page
index 0a40838..d821dfc 100644
--- a/gnome-help/C/shell-workspaces-switch.page
+++ b/gnome-help/C/shell-workspaces-switch.page
@@ -37,18 +37,18 @@
 
  <list>
   <item>
-   <p>Press <keyseq><key>Ctrl</key><key>Alt</key><key>&#8593;</key></keyseq> to
- move to a workspace which is above the current workspace in the workspace
- selector.</p>
+   <p>Press <keyseq><key>Super</key><key>Page Up</key></keyseq> to move to a
+    workspace which is above the current workspace in the workspace selector.
+    </p>
   </item>
   <item>
-   <p>Press <keyseq><key>Ctrl</key><key>Alt</key><key>&#8595;</key></keyseq> to
- move to a workspace which is below the current workspace in the workspace
- selector.</p>
+   <p>Press <keyseq><key>Super</key><key>Page Down</key></keyseq> to move to a
+    workspace which is below the current workspace in the workspace selector.
+    </p>
   </item>
  </list>
 
 </item>
 </terms>
 
-</page>
\ No newline at end of file
+</page>