putty-defaults: Revert bogus change to Putty terminal height.

[profile] / Xdefaults

diff --git a/Xdefaults b/Xdefaults
index ab6666a..2f4bfc2 100644 (file)
--- a/Xdefaults
+++ b/Xdefaults
@@ -2,7 +2,7 @@
 ! .Xdefaults
 !
 
-#define NICEFONT -adobe-helvetica-medium-r-normal--10-*-*-p-*-iso8859-1
+#define NICEFONT -adobe-helvetica-medium-r-normal--10-*-*-*-p-*-iso8859-1
 #define FIXED fixed
 
 ! --- General configuration ---
@@ -27,9 +27,9 @@
 
 ! --- Wily things ---
 
-wily*p9font:            FIXED
-wily*font:              FIXED
-wily*fixed:             FIXED
+wily*p9font:           FIXED
+wily*font:             FIXED
+wily*fixed:            FIXED
 
 ! --- Edwin ---
 
@@ -50,8 +50,8 @@ XTerm*metaSendsEscape:        true
 XTerm*eightBitInput:   true
 
 XTerm*VT100*translations: #override \
-       <Btn4Down>:     scroll-back(1,halfpage) \n\
-       <Btn5Down>:     scroll-forw(1,halfpage)
+       <Btn4Down>:     scroll-back(1,halfpage) \n\
+       <Btn5Down>:     scroll-forw(1,halfpage)
 
 ! --- XConsole settings ---
 
@@ -62,7 +62,7 @@ XConsole*geometry:    485x455
 
 ! --- Emacs settings ---
 
-emacs.geometry:                78x33
+emacs.geometry:                77x33
 Emacs.pane.menubar.font: NICEFONT
 Emacs.menu*.font:      NICEFONT
 Emacs.font:            FIXED
@@ -82,8 +82,8 @@ Emacs.verticalScrollBars: right
 
 xvncviewer*shareDesktop: true
 xvncviewer*desktop.translations: #override\n\
-                        <Key>F8: SendRFBEvent()\n\
-                        !Ctrl<Key>Escape: ShowPopup()
+                       <Key>F8: SendRFBEvent()\n\
+                       !Ctrl<Key>Escape: ShowPopup()
 
 ! --- Ytalk settings ---
 
@@ -130,6 +130,7 @@ XDvi.Hush:          true
 XDvi.thorough:         true
 XDvi.gsAlpha:          true
 XDvi.not1lib:          true
+XDvi.watchFile:                1
 
 xdvirv.background:     black
 xdvirv.foreground:     white
@@ -191,3 +192,16 @@ xzx*joyFire: space
 xzx*sound: true
 xzx*mf128: true
 xzx*libDir: .:/usr/lib/xzx:/usr/local/share/spectrum
+
+! --- Axiom HyperDoc ---
+
+Axiom.hyperdoc.RmFont: -adobe-helvetica-medium-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.BoldFont: -adobe-helvetica-bold-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.ActiveFont: -adobe-helvetica-medium-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.EmphasizeFont: -adobe-helvetica-medium-i-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.ActiveColor: blue
+Axiom.hyperdoc.AxiomFont: FIXED
+Axiom.hyperdoc.TtFont: FIXED
+Axiom.hyperdoc.InputForeground: black
+Axiom.hyperdoc.InputBackground: white
+Axiom.hyperdoc.Background: lightgrey