Merge pull request #17 from Roky97/RunOptionsBugFix---1.10.1

Run options bug fix 1.10.1
DeMaCS-UNICAL · Sep 17, 2019 · bdd847f · bdd847f
2 parents 19dd213 + a17ce21
commit bdd847f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/package.json b/package.json
@@ -1,6 +1,6 @@
 {
   "name": "LoIDE",
-  "version": "1.10.0",
+  "version": "1.10.1",
   "description": "Web-based IDE for Logic Programming",
   "main": "app.js",
   "scripts": {

diff --git a/resources/js/script.js b/resources/js/script.js
@@ -206,7 +206,7 @@ $(document).ready(function () {
 
     inizializeShortcuts();
 
-    restoreOptions();
+    // restoreOptions();
 
     $('#font-output').change(function (e) {
         var size = $(this).val();