From b1c0552214e435d906b75169115953c48de73d3f Mon Sep 17 00:00:00 2001 From: Nate Stemen Date: Fri, 15 Jun 2018 16:59:35 -0400 Subject: [PATCH] add ref command to snippets --- .../aceEditor/auto-complete/top_hundred_snippets.coffee | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/top_hundred_snippets.coffee b/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/top_hundred_snippets.coffee index 5c3de75af5..0a945c9e4d 100644 --- a/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/top_hundred_snippets.coffee +++ b/services/web/public/coffee/ide/editor/directives/aceEditor/auto-complete/top_hundred_snippets.coffee @@ -74,6 +74,11 @@ define -> [{ "meta": "cmd", "score": 1.4425339817971206 }, { + "caption": "\\ref{}", + "snippet": "\\ref{$1}", + "meta": "cross-reference", + "score": 0.014379554883991673 + }{ "caption": "\\frac{}{}", "snippet": "\\frac{$1}{$2}", "meta": "cmd",