"Editors" settings |
|
Font:
 |
Select from - use True Type or Raster check box for filtering font names that appears in the list of available fonts below; |
|
Font name - Lists the available fonts. Type the font name in the box or select it from the drop-down list; |
|
Size - Lists the available font sizes. Type the font size in the box or select it from the drop-down list; |
Tabulation:
|
Tab size - value to specify the number of space characters that equal
one tab character. The default is four space character; |
|
Insert spaces - converts tabs to the number of spaces specified in the Tab Size box during editing; |
|
Keep tabs - saves tabs as tab characters when you edit file; |
Other:
|
Turn off vertical scrollbar(s) when Comparison Map docked to right side -
if you use frequently Comparison Bar to scroll text, you can find this parameter very useful. If Comparison Bar is on the right, vertical scrollbars of the text editor will be switched off automatically.
|
|
Introduction