Preference*Version: 4.4.0 
Editor*InputLeftSymbol*Use: on
Editor*CommentLeftSymbol*Use: on
Editor*TextExtensionLeftSymbol*Use: on
Editor*OutputLeftSymbol*Use: on
Editor*FontText*TextHeight: 6
Editor*Page*AutoNumber: off
Editor*SyntaxCheck: on
Editor*TextualSyntaxCheck: on
