From eebd25351db9e6057183b1f16fadd3d174a28282 Mon Sep 17 00:00:00 2001
From: Shane Kilkelly <shane@kilkelly.me>
Date: Thu, 17 Mar 2016 11:23:53 +0000
Subject: [PATCH] Add the custom environments to the list of snippets

---
 .../aceEditor/auto-complete/SnippetManager.coffee | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

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