@ -588,32 +588,32 @@ static XrmOptionDescRec options[] = {
} ;
} ;
static String color_resources [ ] = {
static String color_resources [ ] = {
" *XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 10646 -1" ,
" *optionmenu*marginHeight: 0 " ,
" *optionmenu*marginHeight: 0 " ,
" *optionmenu*marginTop: 5 " ,
" *optionmenu*marginTop: 5 " ,
@ -655,23 +655,23 @@ static String color_resources[] = {
/* "*geometry: +400+200", */
/* "*geometry: +400+200", */
/* "*keyboardFocusPolicy: pointer",*/
/* "*keyboardFocusPolicy: pointer",*/
" *TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 8859 -1" ,
" *TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 10646 -1" ,
" *Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 8859 -1" ,
" *Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 10646 -1" ,
" *Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso 8859 -1" ,
" *Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso 10646 -1" ,
" *Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso 8859 -1" ,
" *Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso 10646 -1" ,
" *AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *SupSubFont: -adobe-times-medium-r-normal-*-10-*-*-*-*-*-iso 8859 -1" ,
" *SupSubFont: -adobe-times-medium-r-normal-*-10-*-*-*-*-*-iso 10646 -1" ,
" *MeterFont: -adobe-courier-bold-r-normal-*-14-*-*-*-*-*-*-* " ,
" *MeterFont: -adobe-courier-bold-r-normal-*-14-*-*-*-*-*-*-* " ,
" *ToolbarFont: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *ToolbarFont: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *AnchorUnderlines: 1 " ,
" *AnchorUnderlines: 1 " ,
" *VisitedAnchorUnderlines: 1 " ,
" *VisitedAnchorUnderlines: 1 " ,
" *DashedVisitedAnchorUnderlines: True " ,
" *DashedVisitedAnchorUnderlines: True " ,
@ -746,32 +746,32 @@ static String color_resources[] = {
} ;
} ;
static String mono_resources [ ] = {
static String mono_resources [ ] = {
" *XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmLabel*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmScale*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *XmBulletinBoard*labelFontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *optionmenu.XmLabelGadget*fontList: -*-helvetica-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmPushButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmPushButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmToggleButton*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmToggleButtonGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *optionmenu*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmIconGadget*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmBulletinBoard*buttonFontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *menubar*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmPushButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmLabelGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmPushButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmCascadeButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmCascadeButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmToggleButton*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *XmMenuShell*XmToggleButtonGadget*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 8859 -1" ,
" *pulldownmenu*fontList: -*-helvetica-bold-o-normal-*-14-*-iso 10646 -1" ,
" *XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmList*fontList: -*-helvetica-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmText.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 10646 -1" ,
" *XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 8859 -1" ,
" *XmTextField.fontList: -*-lucidatypewriter-medium-r-normal-*-14-*-iso 10646 -1" ,
" *optionmenu*marginHeight: 0 " ,
" *optionmenu*marginHeight: 0 " ,
" *optionmenu*marginTop: 5 " ,
" *optionmenu*marginTop: 5 " ,
@ -813,23 +813,23 @@ static String mono_resources[] = {
/* "*geometry: +400+200", */
/* "*geometry: +400+200", */
/* "*keyboardFocusPolicy: pointer", */
/* "*keyboardFocusPolicy: pointer", */
" *TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 8859 -1" ,
" *TitleFont: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 10646 -1" ,
" *Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *Font: -adobe-times-medium-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *ItalicFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *BoldFont: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *FixedFont: -adobe-courier-medium-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 8859 -1" ,
" *Header1Font: -adobe-times-bold-r-normal-*-24-*-*-*-*-*-iso 10646 -1" ,
" *Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso 8859 -1" ,
" *Header2Font: -adobe-times-bold-r-normal-*-18-*-*-*-*-*-iso 10646 -1" ,
" *Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *Header3Font: -adobe-times-bold-r-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *Header4Font: -adobe-times-bold-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *Header5Font: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso 8859 -1" ,
" *Header6Font: -adobe-times-bold-r-normal-*-10-*-*-*-*-*-iso 10646 -1" ,
" *AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 8859 -1" ,
" *AddressFont: -adobe-times-medium-i-normal-*-17-*-*-*-*-*-iso 10646 -1" ,
" *PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso 8859 -1" ,
" *PlainFont: -adobe-courier-medium-r-normal-*-14-*-*-*-*-*-iso 10646 -1" ,
" *ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *ListingFont: -adobe-courier-medium-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *SupSubFont: -adobe-courier-medium-r-normal-*-10-*-*-*-*-*-iso 8859 -1" ,
" *SupSubFont: -adobe-courier-medium-r-normal-*-10-*-*-*-*-*-iso 10646 -1" ,
" *MeterFont: -adobe-courier-bold-r-normal-*-14-*-*-*-*-*-*-* " ,
" *MeterFont: -adobe-courier-bold-r-normal-*-14-*-*-*-*-*-*-* " ,
" *ToolbarFont: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 8859 -1" ,
" *ToolbarFont: -adobe-times-bold-r-normal-*-12-*-*-*-*-*-iso 10646 -1" ,
" *Foreground: black " ,
" *Foreground: black " ,
" *Background: white " ,
" *Background: white " ,