chiark / gitweb /
hostside/gui: adjustment of point positions
authorIan Jackson <ian@liberator.relativity.greenend.org.uk>
Tue, 4 Jan 2011 01:50:54 +0000 (01:50 +0000)
committerIan Jackson <ian@liberator.relativity.greenend.org.uk>
Tue, 4 Jan 2011 01:50:54 +0000 (01:50 +0000)
hostside/gui
hostside/gui-layout.config

index 6c4365c4d5e2a0dccc6e36a342c9b95814cd7f9f..50ad7ab25b4e464f4902a36e8404b49f87b3afb7 100755 (executable)
@@ -1026,7 +1026,7 @@ proc main {} {
     global pages cpage configfile input_bindings input_statics
     setting server railway {[[0-9a-z:].*}
     setting geometry {} {[-+]\d+[-+]\d+}
-    setting posdeviation 10 {\d+}
+    setting posdeviation 5 {\d+}
     setting movfeatcommand {movfeat+} {(?:!movfeat|movfeat\+?\+?)}
     setting problemdisplayms 1000 {\d+}
     setting inputretryadd 5 {\d+}
index 54f9a7e46909729a2868c4206776a5fbf75210a5..058542daf2a1953b50549603021307b4d3bf3b07 100644 (file)
@@ -1,13 +1,13 @@
 # -*- fundamental -*-
 set pages {bot}
 set movpos_bindings(bot) {
-       Z=C9/P                  A                       Q-2+20-3-0=C5/P
-       X++16=B9/P              S                       W-5++7+=B7/P
-       C=B9/J                  D                       E+3+-5=B7/J             
-       V+-20=A5/J              F                       R++5+5+5=A6/J   
-       B=A5/P                  ~G=A2/P                 T+6+++=A6/P             
+       Z--17=C9/P              A                       Q-3+17-+6=C5/P
+       X-2+20-1+20=B9/P        S                       W--6+3-6=B7/P
+       C+-5=B9/J               D                       E-1-1+-1=B7/J           
+       V+3-13+1-13=A5/J        F                       R+3+5+1+5=A6/J
+       B=A5/P                  ~G=A2/P                 T+1+++=A6/P             
        N=X7/P                  ~H=X2/R                 Y=X8/P          
-       M=C0/P                  J=B0/P                  U               
+       M=C0/P                  J+1+=B0/P               U               
                                K                       I               
                                L                       O               
                                                        P