!!
!!	RESOURCE FILE FOR "empgui"
!!
!!	This file contail default resource setup for empgui editor.
!!	If you want to customize these resources, you can copy this file
!!	to your own home directory with filename "Empgui"
!!

!!
!!	Colormap mode resource
!!
Empgui*privateColormap: false
Empgui*privateColormapCopy: 16 

!!
!!	Audio field specific resource
!!
!Empgui*audio_field

!!
!!	Cascade button specific resource
!!
!Empgui*cascade

!!
!!	Hypertext field specific resource
!!
!Empgui*Header1Font
!Empgui*Header2Font
!Empgui*Header3Font
!Empgui*Header4Font
!Empgui*Header5Font
!Empgui*Header6Font
!Empgui*Font
!Empgui*BoldFont
!Empgui*ItalicFont
!Empgui*ListingFont
!Empgui*PlainFont
!Empgui*FixedFont
Empgui*hypertext_field.shadowThickness:	3

!!
!!	Image Field specific resource
!!
!Empgui*image_field

!!
!!	Label specific resource
!!
!Empgui*label

!!
!!	List specific resource
!!
!Empgui*scrolled_list

!!
!!	Menu bar specific resource
!!
Empgui*menu_bar.cascade.marginWidth: 8

!!
!!	Multilist specific resource
!!
!Empgui*multilist
!Empgui*scrollbar
!Empgui*form

!!
!!	Option Menu specific resource
!!
!Empgui*option_menu

!!
!!	Popup Menu specific resource
!!
!Empgui*popup_menu

!!
!!	Pulldown specific resource
!!
!Empgui*pulldown_menu

!!
!!	Push Button specific resource
!!
Empgui*push_button.shadowThickness: 3

!!
!!	Radio box specific resource
!!
Empgui*radio_box.adjustLast: false
Empgui*radio_box*marginHeight:	0
Empgui*radio_box*marginWidth:	3

!!
!!	Scale specific resource
!!
!Empgui*scale

!!
!!	Separator specific resource
!!
!Empgui*separator

!!
!!	Text field specific resource
!!
!Empgui*scrolled_field
!Empgui*field

!!
!!	Toggle button specific resource
!!
Empgui*toggle_button.shadowThickness:	3
Empgui*Module Checker*toggle_button.alignment:	XmALIGNMENT_BEGINNING

!!
!!	User Defined Object specific resource
!!
!Empgui*user

!!
!!	Window specific resource
!!
!Empgui*frame
!Empgui*main_window
!Empgui*work_area

!!
!!	These shadow thickness normally will not be used, it is only used
!!	when editing these objects in component editor.
!!
Empgui*label.shadowThickness: 1
Empgui*user.shadowThickness: 1
Empgui*image_field.shadowThickness: 1
Empgui*radio_box.shadowThickness: 1
