2 SystemFont = "-*-helvetica-medium-r-normal-*-%d-*-*-*-*-*-*-*,-*-*-medium-r-normal-*-%d-*,-*-*-medium-r-normal-*-*-*";
3 BoldSystemFont = "-*-helvetica-bold-r-normal-*-%d-*-*-*-*-*-*-*,-*-*-bold-r-normal-*-%d-*,-*-*-medium-r-normal-*-*-*";
4 AASystemFont = "-*-arial-medium-r-normal-*-%d-*-*-*-*-*-*-*";
5 AABoldSystemFont = "-*-arial-bold-r-normal-*-%d-*-*-*-*-*-*-*";
9 FloppyPath = "/floppy";
10 DoubleClickTime = 250;
11 MouseWheelUp = Button4;
12 MouseWheelDown = Button5;