From aee9e19b0205ab4d33500b8075f639ff5922a5df Mon Sep 17 00:00:00 2001 From: daiao <358551898@qq.com> Date: Mon, 27 Mar 2017 10:59:01 +0800 Subject: [PATCH] =?UTF-8?q?=E5=AE=9E=E8=AE=ADTPI=E7=9A=84CodeMirror?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- app/views/games/_file_edit_form.html.erb | 11 +++++----- app/views/games/_game_show.html.erb | 28 ++++++++++++++---------- app/views/games/file_edit.js.erb | 3 ++- app/views/games/show.html.erb | 3 +++ 4 files changed, 28 insertions(+), 17 deletions(-) diff --git a/app/views/games/_file_edit_form.html.erb b/app/views/games/_file_edit_form.html.erb index 2b6817c25..f4f97a33d 100644 --- a/app/views/games/_file_edit_form.html.erb +++ b/app/views/games/_file_edit_form.html.erb @@ -1,5 +1,5 @@ <%= javascript_include_tag 'baiduTemplate', 'jquery.datetimepicker.js' %> -<%= javascript_include_tag "/assets/codemirror/codemirror_python_ruby_c" %> +<%= javascript_include_tag "/assets/codemirror/codemirror_python_ruby_c", '/assets/codemirror/autorefresh' %> <%= stylesheet_link_tag "/assets/codemirror/codemirror" %>
@@ -12,16 +12,17 @@