Domagoj Kriskovic ea57ae9125 Rename sourceEditorVisualExtensions to sourceEditorMarkdownExtensions 5 mesiacov pred
..
settings.defaults.js ea57ae9125 Rename sourceEditorVisualExtensions to sourceEditorMarkdownExtensions 5 mesiacov pred