From 9a6c607c9e7319d8cc7155a847c14c02a3e1107e Mon Sep 17 00:00:00 2001
From: Roky97 <roccopalermiti@virgilio.it>
Date: Tue, 17 Sep 2019 17:40:39 +0200
Subject: [PATCH 1/2] Fixed run options bug

---
 resources/js/script.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/js/script.js b/resources/js/script.js
index 8002453..dc2e028 100644
--- 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();

From a17ce2127bd5eb359bdd5210e6333682840eb13a Mon Sep 17 00:00:00 2001
From: Rocco Palermiti <34984032+Roky97@users.noreply.github.com>
Date: Tue, 17 Sep 2019 17:47:09 +0200
Subject: [PATCH 2/2] Update package.json

---
 package.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/package.json b/package.json
index 714b24a..a42afb3 100644
--- 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": {