! Generated by X-Designer 

! find
HMan*find.title: Find...
HMan*background: gray
HMan*XmText.foreground: black
HMan*XmText.background: white
HMan*XmTextField.background: white
HMan*XmList*foreground: black
HMan*XmList*background: white
HMan*fontList:  -*-helvetica-bold-r-normal--12-*-*-*-*-*-iso8859-1
HMan*XmScrolledWindow.ScrolledWindowClipWindow.background: white
HMan*XmScrolledWindow*background: white
HMan*XmScrolledWindow.XmScrollBar.background: gray
HMan*XmPushButton.width: 75

! find_form

! close
HMan*close.labelString: Close
!HMan*fontList: *-times-bold-r-normal--*-140-*
HMan*XmPushButton.height: 30

! find_next
HMan*find_next.labelString: Find next
!HMan*normalFont: 9x15  
HMan*normalFont: -*-helvetica-bold-r-normal--14-*-*-*-*-*-iso8859-1
HMan*normalColor:  black
HMan*highlightFont: -*-helvetica-bold-r-normal--14-*-*-*-*-*-iso8859-1

! selection
HMan*selection.title: Choose a manual file


! top

! form
HMan*form.width: 580
HMan*form.height: 668

! scrollw

! widget27

! keyword
HMan*keyword.labelString: Key word:

! section
HMan*section.labelString: Section:

! section_text

! in_index
HMan*in_index.labelString: In index

! previous
HMan*previous.labelString: Previous

! next
HMan*next.labelString: Next

! quit
HMan*quit.labelString: Quit

! clone
HMan*clone.labelString: Clone

! other
HMan*other.labelString: Other...

! search

