![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| viewZones/ | 2018-07-27 14:03 | - | |
| viewCursors/ | 2018-07-27 14:03 | - | |
| selections/ | 2018-07-27 14:03 | - | |
| scrollDecoration/ | 2018-07-27 14:03 | - | |
| rulers/ | 2018-07-27 14:03 | - | |
| overviewRuler/ | 2018-07-27 14:03 | - | |
| overlayWidgets/ | 2018-07-27 14:03 | - | |
| minimap/ | 2018-07-27 14:03 | - | |
| marginDecorations/ | 2018-07-27 14:03 | - | |
| margin/ | 2018-07-27 14:03 | - | |
| linesDecorations/ | 2018-07-27 14:03 | - | |
| lines/ | 2018-07-27 14:03 | - | |
| lineNumbers/ | 2018-07-27 14:03 | - | |
| indentGuides/ | 2018-07-27 14:03 | - | |
| glyphMargin/ | 2018-07-27 14:03 | - | |
| editorScrollbar/ | 2018-07-27 14:03 | - | |
| decorations/ | 2018-07-27 14:03 | - | |
| currentLineMarginHighlight/ | 2018-07-27 14:03 | - | |
| currentLineHighlight/ | 2018-07-27 14:03 | - | |
| contentWidgets/ | 2018-07-27 14:03 | - | |