diff --git a/.idea/compiler.xml b/.idea/compiler.xml
index 3deac64..7c00169 100644
--- a/.idea/compiler.xml
+++ b/.idea/compiler.xml
@@ -7,6 +7,7 @@
+
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index d411f10..4203cf4 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -5,10 +5,7 @@
-
-
-
-
+
@@ -30,30 +27,30 @@
-
- {
+ "lastFilter": {}
+}
+ {
+ "prStates": [
{
- "id": {
- "id": "PR_kwDOPslbWM6pHd-p",
- "number": 25
+ "id": {
+ "id": "PR_kwDOPslbWM6pHd-p",
+ "number": 25
},
- "lastSeen": 1758130713799
+ "lastSeen": 1758130713799
}
]
-}]]>
+}
{
"selectedUrlAndAccountId": {
"url": "git@github.com:2OOP/pism_ttt.git",
"accountId": "7694f583-f911-4763-8185-8ea3ed608804"
}
}
-
-
+ {}
+ {
+ "isMigrated": true
+}
{
"customColor": "",
"associatedIndex": 1
@@ -77,7 +74,7 @@
"node.js.selected.package.eslint": "(autodetect)",
"node.js.selected.package.tslint": "(autodetect)",
"nodejs_package_manager_path": "npm",
- "settings.editor.selected.configurable": "reference.settings.project.statistic.project.settings",
+ "settings.editor.selected.configurable": "preferences.editor",
"vue.rearranger.settings.migration": "true"
}
}]]>
@@ -127,6 +124,17 @@
+
+
+
diff --git a/src/main/java/org/toop/Logging.java b/src/main/java/org/toop/Logging.java
index 9854799..3d06ffd 100644
--- a/src/main/java/org/toop/Logging.java
+++ b/src/main/java/org/toop/Logging.java
@@ -7,6 +7,9 @@ import org.apache.logging.log4j.core.config.Configuration;
import org.apache.logging.log4j.core.config.LoggerConfig;
import org.toop.eventbus.EventRegistry;
+/**
+ * Options for logging.
+ */
public final class Logging {
public static void disableLogs() {
LoggerContext ctx = (LoggerContext) LogManager.getContext(false);