From 5b315f938afddad911f2c69a2deca2ca5b3f8c17 Mon Sep 17 00:00:00 2001 From: Udo Walter Date: Thu, 22 Nov 2018 04:27:34 +0000 Subject: [webapp] replace script textareas with a code editor npm install is necessary to load the editor module --- webapp/src/main.js | 13 +++++++++++++ 1 file changed, 13 insertions(+) (limited to 'webapp/src/main.js') diff --git a/webapp/src/main.js b/webapp/src/main.js index 4193481..030f9f7 100644 --- a/webapp/src/main.js +++ b/webapp/src/main.js @@ -1,6 +1,10 @@ import Vue from 'vue' import Vuetify from 'vuetify' import 'vuetify/dist/vuetify.min.css' +import VueCodemirror from 'vue-codemirror' +import 'codemirror/mode/shell/shell.js' +import 'codemirror/lib/codemirror.css' +import 'codemirror/theme/monokai.css' import VueTouch from 'vue-touch' import Vuex from 'vuex' import globalStore from '@/store/global' @@ -38,6 +42,15 @@ Vue.use(Vuetify, { } }) +Vue.use(VueCodemirror, { + options: { + theme: 'monokai', + mode: 'shell', + lineNumbers: true, + viewportMargin: Infinity + } +}) + Vue.use(VueTouch) axios.interceptors.response.use(null, error => { -- cgit v1.2.3-55-g7522