Categories


Popular topics

(Created page with "Category:Settings")
 
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
 
[[Category:Settings]]
 
[[Category:Settings]]
 +
This branch of configuration contains the following pages:
 +
* [[Settings:Editor display:Advanced|Advanced]]
 +
* [[Settings:Editor display:Code folding|Code folding]]
 +
* [[Settings:Editor display:Cursor / caret|Cursor / caret]]
 +
* [[Settings:Editor display:Formatting|Formatting]]
 +
* [[Settings:Editor display:Line change indicator|Line change indicator]]
 +
* [[Settings:Editor display:Miscellaneous|Miscellaneous]]
 +
* [[Settings:Editor display:Syntax highlighting|Syntax highlighting]]

Latest revision as of 21:58, 10 January 2018

This branch of configuration contains the following pages: