From f84beaabc95b6329a6fcc0b7e50a8eedf6c78de1 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9rome=20Perrin?= <jerome@nexedi.com> Date: Thu, 14 Apr 2016 03:46:47 +0000 Subject: [PATCH] codemirror: enable jump-to-line addon --- .../portal_skins/erp5_code_mirror/code_mirror_support.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml b/bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml index 4617bddaeb..9d2de1d54d 100644 --- a/bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml +++ b/bt5/erp5_code_mirror/SkinTemplateItem/portal_skins/erp5_code_mirror/code_mirror_support.xml @@ -44,6 +44,7 @@ <script type="text/javascript" src="&dtml-portal_url;/codemirror/addon/dialog/dialog.js"></script>\n <script type="text/javascript" src="&dtml-portal_url;/codemirror/addon/search/searchcursor.js"></script>\n <script type="text/javascript" src="&dtml-portal_url;/codemirror/addon/search/search.js"></script>\n +<script type="text/javascript" src="&dtml-portal_url;/codemirror/addon/search/jump-to-line.js"></script>\n \n <!-- Python autocomplete (Ctrl-Space, see below)\n TODO-arnau: Add ERP5 autocompletion?\n -- 2.30.9