From 8dcf0057c23a5993a776fc4ce6152715a2ea16d5 Mon Sep 17 00:00:00 2001 From: dark64 Date: Sat, 28 Dec 2019 18:01:35 +0100 Subject: [PATCH] Add ace/mode/rust in editor.js --- src/app/editor/editor.js | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js index ad76356ff5..976d242d43 100644 --- a/src/app/editor/editor.js +++ b/src/app/editor/editor.js @@ -19,6 +19,7 @@ require('ace-mode-zokrates') require('brace/mode/javascript') require('brace/mode/python') require('brace/mode/json') +require('brace/mode/rust') require('brace/theme/chaos') require('brace/theme/chrome') @@ -85,7 +86,8 @@ class Editor extends Plugin { zok: 'ace/mode/zokrates', txt: 'ace/mode/text', json: 'ace/mode/json', - abi: 'ace/mode/json' + abi: 'ace/mode/json', + rs: 'ace/mode/rust' } // Editor Setup