Add the custom environments to the list of snippets

2026-06-05 15:19:02 +02:00 · 2016-03-17 11:23:53 +00:00
parent c25c2b676a
commit eebd25351d
1 changed files with 14 additions and 1 deletions
@@ -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