From 3c244ff27f015df6cfa918c9ba3e192f4d5b62ff Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Thu, 4 Apr 2013 14:04:31 +0000
Subject: minibar/syntax editor integration improvements

Work in progress on preserving the start category and selected target languages
when switching between the minibar and the syntax editor.
---
 src/www/syntax-editor/editor.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/www/syntax-editor/editor.html')

diff --git a/src/www/syntax-editor/editor.html b/src/www/syntax-editor/editor.html
index 9780c24f8..8ebc9a919 100644
--- a/src/www/syntax-editor/editor.html
+++ b/src/www/syntax-editor/editor.html
@@ -24,6 +24,7 @@
   <!-- Common -->
   <script type="text/javascript" src="../js/grammar_manager.js"></script>
   <script type="text/javascript" src="../js/support.js"></script>
+  <script type="text/JavaScript" src="../js/localstorage.js"></script>
   <script type="text/javascript" src="../js/pgf_online.js"></script>
 
   <!-- Editor -->
-- 
cgit v1.2.3