"*title: xmfract",
"*marginTop: 2",
"*marginLeft: 2",
"*marginRight: 2",
"*marginBottom: 2",
"*topOffset: 2",
"*leftOffset: 2",
"*rightOffset: 2",
"*bottomOffset: 2",
"*highlightThickness: 2",
"*XmLabel*marginTop: 0",
"*XmLabel*marginBottom: 0",
"*XmLabel*marginWidth: 0",
"*XmLabel*marginHeight: 0",
"*XmLabel*topOffset: 0",
"*XmLabel*bottomOffset: 0",
"*menu_bar*marginLeft: 7",
"*menu_bar*marginRight: 7",
"*menu_bar*marginHeight: 2",
"*menuCursor: top_left_arrow",
"*tearOffModel: TEAR_OFF_ENABLED",
"*XmTextField*cursorPositionVisible: True",
"*read_help_dialog*text_window*scrollHorizontal: False",
"*read_help_dialog*help_window*text_window*rows: 30",
"*read_help_dialog*help_window*text_window*columns: 80",