Did you check the Help Ballons?
Explain Font selection.
The default display font is set on a window by window basis when the cursor is NOT in a statement (clicking the cursor in the blank display box on the upper right of the window removes the cursor from the document. I call this the kitty box because putting the cursor there protects your file from the creative cat walking on your keyboard). After clicking in the kitty box, font selections alter the appearance of the display and print output. Save Options will capture this default setting.
If you want some text to be in a particular font or size, select the text and set the font and size. This text will always be displayed and printed with this font selection regardless of the default setting. The font of newly typed text is determined by the font and style settings made after the cursor is placed in the text. When the cursor is placed in the text, the font and style is set to the character to the left of the cursor until you change it using the menus.
How then do you return text to a font that floats with the default?
How then do I set the font of text explicitly to the same value as the default as might be required for HTML (to cause an ADDRESS tag)?
Explain Statement formats
As with fonts, there is a default set of properties that are applied to some new statements. These properties are edited by using the Statement Format menu option (under the Styles menu) with the cursor in the kitty box.
The format properties of new statements are set by one of two rules:
If the statement is inserted at a level above or below the target statement, the new statement takes the default properities.
Why can't a text selection cross statement boundaries?
If you want to select whole branches for inclusion in another document, use the Export to Clipboard option.
Is it normal for Thinker to exit when the last window is closed?