From f26713182f2f7b9b2d3893107dece3e0ce097a89 Mon Sep 17 00:00:00 2001
From: Doug Coleman <doug.coleman@gmail.com>
Date: Sun, 9 Dec 2007 10:29:46 -0600
Subject: [PATCH] Change ui tabs to alt+12345

---
 extra/ui/tools/tools.factor | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/extra/ui/tools/tools.factor b/extra/ui/tools/tools.factor
index 48d341b4b8..8e2eeaa0ba 100755
--- a/extra/ui/tools/tools.factor
+++ b/extra/ui/tools/tools.factor
@@ -67,11 +67,11 @@ M: workspace model-changed
 : com-profiler profiler-gadget select-tool ;
 
 workspace "tool-switching" f {
-    { T{ key-down f { C+ } "1" } com-listener }
-    { T{ key-down f { C+ } "2" } com-browser }
-    { T{ key-down f { C+ } "3" } com-inspector }
-    { T{ key-down f { C+ } "4" } com-walker }
-    { T{ key-down f { C+ } "5" } com-profiler }
+    { T{ key-down f { A+ } "1" } com-listener }
+    { T{ key-down f { A+ } "2" } com-browser }
+    { T{ key-down f { A+ } "3" } com-inspector }
+    { T{ key-down f { A+ } "4" } com-walker }
+    { T{ key-down f { A+ } "5" } com-profiler }
 } define-command-map
 
 \ workspace-window