-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathapp-defaults.mono
89 lines (86 loc) · 5.01 KB
/
app-defaults.mono
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
XMosaic*XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso8859-1
XMosaic*XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso8859-1
XMosaic*XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso8859-1
XMosaic*optionmenu*marginHeight: 0
XMosaic*optionmenu*marginTop: 5
XMosaic*optionmenu*marginBottom: 5
XMosaic*optionmenu*marginWidth: 5
XMosaic*pulldownmenu*XmPushButton*marginHeight: 1
XMosaic*pulldownmenu*XmPushButton*marginWidth: 1
XMosaic*pulldownmenu*XmPushButton*marginLeft: 3
XMosaic*pulldownmenu*XmPushButton*marginRight: 3
XMosaic*XmList*listMarginWidth: 3
XMosaic*menubar*marginHeight: 1
XMosaic*menubar.marginHeight: 0
XMosaic*menubar*marginLeft: 1
XMosaic*menubar.spacing: 7
XMosaic*XmMenuShell*marginLeft: 3
XMosaic*XmMenuShell*marginRight: 4
XMosaic*XmMenuShell*XmToggleButtonGadget*spacing: 2
XMosaic*XmMenuShell*XmToggleButtonGadget*marginHeight: 0
XMosaic*XmMenuShell*XmToggleButtonGadget*indicatorSize: 12
XMosaic*XmMenuShell*XmLabelGadget*marginHeight: 4
XMosaic*XmToggleButtonGadget*spacing: 4
XMosaic*XmToggleButton*spacing: 4
XMosaic*XmScrolledWindow*spacing: 0
XMosaic*XmScrollBar*width: 18
XMosaic*XmScrollBar*height: 18
XMosaic*XmScale*scaleHeight: 20
XMosaic*XmText*marginHeight: 4
XMosaic*fsb*XmText*width: 420
XMosaic*fillOnSelect: True
XMosaic*visibleWhenOff: True
XMosaic*XmText*highlightThickness: 0
XMosaic*XmTextField*highlightThickness: 0
XMosaic*XmPushButton*highlightThickness: 0
XMosaic*XmScrollBar*highlightThickness: 0
XMosaic*highlightThickness: 0
XMosaic*keyboardFocusPolicy: pointer
XMosaic*TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso8859-1
XMosaic*Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso8859-1
XMosaic*Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso8859-1
XMosaic*Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso8859-1
XMosaic*Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso8859-1
XMosaic*AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso8859-1
XMosaic*PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso8859-1
XMosaic*ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso8859-1
XMosaic*Foreground: black
XMosaic*Background: white
XMosaic*TopShadowColor: black
XMosaic*BottomShadowColor: black
XMosaic*anchorColor: black
XMosaic*visitedAnchorColor: black
XMosaic*activeAnchorFG: black
XMosaic*activeAnchorBG: white
XMosaic*TroughColor: black
XMosaic*SelectColor: black
XMosaic*AnchorUnderlines: 1
XMosaic*VisitedAnchorUnderlines: 1
XMosaic*DashedVisitedAnchorUnderlines: True