This shows you the differences between two versions of the page.
| |
| options:font [2014/02/09 01:50] – external edit 127.0.0.1 | options:font [2016/08/24 00:07] (current) – admin |
|---|
| To jump to the [[options:syntax:font_and_colors|Font & Colors]] setting for current language faster you can use (when some document open) or context menu on [[view:pane:overview_bar|Overview bar]] or //Tools->Syntax settings// (here is name of current language) shortcut. | To jump to the [[options:syntax:font_and_colors|Font & Colors]] setting for current language faster you can use (when some document open) or context menu on [[view:pane:overview_bar|Overview bar]] or //Tools->Syntax settings// (here is name of current language) shortcut. |
| |
| Most easiest way to change the **font size**, is using mouse wheel, keeping Ctrl. | The easiest way to change the **font size** is using the mouse wheel, keeping Ctrl. |
| Another way is with help of [[view:status|status bar]], where you can as select some predefined scale factor or enter exact value. | Another way is with the help of [[view:status|status bar]], where you can as select some predefined scale factor or enter an exact value. |
| **Font size** changed in such way is __not persisted__, and reset in new session to default value. | **Font size** changed in such way is __not persisted__, and reset in the new session to the default value. |
| |
| To change in fixed manner, you can use the way described for [[options:syntax:font_and_colors|Font face]]. | To change in fixed manner, you can use the way described for [[options:syntax:font_and_colors|Font face]]. |