options:syntax:display

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision		 Previous revision
options:syntax:display [2018/01/10 19:42] – external edit 127.0.0.1options:syntax:display [2018/04/13 14:53] (current) – external edit 127.0.0.1
Line 5: Line 5:
 The similar set of the settings can be also maintained for a specific document with the help of menu //View -> Editor (file specific)//. Such document specific settings have priorities over syntax specific settings. The similar set of the settings can be also maintained for a specific document with the help of menu //View -> Editor (file specific)//. Such document specific settings have priorities over syntax specific settings.
  
-<note tip>Getting to this page rather tricky and is not obvious :-) . You need to click on the main node of the syntax, that you want to change.</note>+<note tip>Getting to this page rather tricky and is not obvious :-). You need to click on the main node of the syntax, that you want to change.</note>
  
 ===== Panes ===== ===== Panes =====