*XmPushButton.fontList: -misc-fixed-medium-r-normal--15-140-75-75-c-90-iso8859-1 *fontList: -misc-fixed-medium-r-normal--10-140-75-75-c-90-iso8859-1 *dummy.width: 40 *XmDrawnButton.width: 100 *XmDrawnButton.height: 70 *XmDrawnButton.recomputeSize: False *XmDrawnButton.shadowThickness: 0 *XmDrawnButton.borderWidth: 0 *XmDrawnButton.highlightThickness: 0 *XmToggleButton.shadowThickness: 0 *XmToggleButton.borderWidth: 0 *XmToggleButton.highlightThickness: 0 *files_toolbar.entryAlignment: ALIGNMENT_CENTER *dirs_toolbar.entryAlignment: ALIGNMENT_CENTER *main.width: 750 *main.height: 600 *directory_label.borderWidth: 1 *executables_pane.packing: PACK_COLUMN *executables_pane.orientation: VERTICAL *executables_pane.numColumns: 4 *files_pane.packing: PACK_COLUMN *files_pane.orientation: VERTICAL *files_pane.numColumns: 4 *dirs_pane.packing: PACK_COLUMN *dirs_pane.orientation: VERTICAL *dirs_pane.numColumns: 4 *file_button.height: 70 *file_button.recomputeSize: False *dir_button.height: 70 *dir_button.recomputeSize: False *run command.selectionLabelString: Enter command: *run command.listLabelString: Previous commands: *new file name.selectionLabelString: New file name: *new dir name.selectionLabelString: New directory name: *pane.borderWidth: 1 *Filename.labelString: File name: *Owner.labelString: Owner: *Size.labelString: Size (bytes): *Description.labelString: Description: *Permissions.labelString: Permissions: # debugging stuff # *pane*XmRowColumn.borderWidth: 4 # *pane*XmScrolledWindow.borderWidth: 4 # *pane*XmScrolledWindow.height: 150