add change_desktop

diff --git a/scripts/builtins.py b/scripts/builtins.py
index 82f21aea1a4922b4e7f4b79d587ba01cd66b5e83..0fd3804b84af54150ec0d6f033e3ae57b075f19e 100644 (file)
--- a/scripts/builtins.py
+++ b/scripts/builtins.py
@@ -124,6 +124,10 @@ def prev_desktop(data, no_wrap=0):
     elif not no_wrap:
         d = n - 1
     OBScreen_changeDesktop(screen, d)
+
+def change_desktop(data, num):
+    screen = Openbox_screen(openbox, data.screen())
+    OBScreen_changeDesktop(screen, num)
     
 #########################################
 ### Convenience functions for scripts ###