options:font

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision		 Previous revision
options:font [2014/02/09 01:50] – external edit 127.0.0.1options:font [2018/01/10 20:41] (current) – external edit 127.0.0.1
Line 10: Line 10:
 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]].