diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/SnippetManager.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/SnippetManager.coffee index d09c8d9013..cc894ad39d 100644 --- a/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/SnippetManager.coffee +++ b/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/SnippetManager.coffee @@ -115,6 +115,19 @@ define () -> docText = session.getValue() customEnvironmentNames = parseCustomEnvironmentNames(docText) # console.log customEnvironmentNames - callback null, staticSnippets + snippets = staticSnippets.concat( + customEnvironmentNames.map (name) -> + { + caption: "\\begin{#{name}}..." + snippet: """ + \\begin{#{name}} + \t$1 + \\end{#{name}} + """ + meta: "env" + + } + ) + callback null, snippets return SnippetManager