Domagoj Kriskovic ea57ae9125 Rename sourceEditorVisualExtensions to sourceEditorMarkdownExtensions 4 månader sedan
..
settings.defaults.js ea57ae9125 Rename sourceEditorVisualExtensions to sourceEditorMarkdownExtensions 4 månader sedan