! .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 ---
! --- Wily things ---
-wily*p9font: FIXED
-wily*font: FIXED
-wily*fixed: FIXED
+wily*p9font: FIXED
+wily*font: FIXED
+wily*fixed: FIXED
! --- Edwin ---
XTerm*scrollTtyOutput: false
XTerm*scrollKey: true
XTerm*rightScrollBar: true
+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 ---
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 ---
XDvi.thorough: true
XDvi.gsAlpha: true
XDvi.not1lib: true
+XDvi.watchFile: 1
xdvirv.background: black
xdvirv.foreground: white
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