![[ICO]](/icons/blank.png){kind=icon}
![[PARENTDIR]](/icons/back.png){kind=icon}
![[TXT]](/icons/html.png){kind=icon}
| Name | Last modified | Size |
|---|---|---|---|
| Parent Directory | - | |
| advanced.html | 2018-01-09 18:18 | 6.9K |
| keybindings.html | 2018-01-09 18:18 | 6.5K |
| localization.html | 2018-01-09 18:18 | 35K |
| notification.html | 2018-01-09 18:18 | 11K |
| pygments.html | 2018-01-09 18:18 | 13K |
| userinterface.html | 2018-01-09 18:18 | 7.5K |