From 22d60847dd81ad1348ee97e2adbb7c4c357c3218 Mon Sep 17 00:00:00 2001
From: SeeBasTStick <sebastian.stock@hhu.de>
Date: Tue, 1 Sep 2020 19:12:22 +0200
Subject: [PATCH] removed unused/useless setting
---
src/main/kotlin/b/language/server/Util.kt | 2 +-
src/main/kotlin/b/language/server/dataStorage/Settings.kt | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/kotlin/b/language/server/Util.kt b/src/main/kotlin/b/language/server/Util.kt
index d1d0d31..d679832 100644
--- a/src/main/kotlin/b/language/server/Util.kt
+++ b/src/main/kotlin/b/language/server/Util.kt
@@ -13,7 +13,7 @@ import java.io.File
* @return the settings object
*/
fun castJsonToSetting(json : JsonObject) : Settings {
- return Settings(Gson().fromJson(json.get("maxNumberOfProblems"), Int::class.java),
+ return Settings(
Gson().fromJson(json.get("wdChecks"), Boolean::class.java),
Gson().fromJson(json.get("strictChecks"), Boolean::class.java),
Gson().fromJson(json.get("performanceHints"), Boolean::class.java),
diff --git a/src/main/kotlin/b/language/server/dataStorage/Settings.kt b/src/main/kotlin/b/language/server/dataStorage/Settings.kt
index 0cc9534..16e6730 100644
--- a/src/main/kotlin/b/language/server/dataStorage/Settings.kt
+++ b/src/main/kotlin/b/language/server/dataStorage/Settings.kt
@@ -2,6 +2,6 @@ package b.language.server.dataStorage
import java.io.File
-data class Settings(val maxNumberOfProblem : Int = 1000, val strictChecks : Boolean = true, val wdChecks : Boolean = true,
+data class Settings(val strictChecks : Boolean = true, val wdChecks : Boolean = true,
val performanceHints : Boolean = true , val probHome : File = File("~/prob_prolog/probcli.sh"),
val debugMode : Boolean = true)
--
GitLab