Removed dependency on jSystemDetector.

app/jvm/src/main/scala/org/sireum/forms/FormsApp.scala

@@ -26,15 +26,13 @@ package org.sireum.forms
 
 import com.formdev.flatlaf.intellijthemes.{FlatDarkFlatIJTheme, FlatLightFlatIJTheme}
 import com.formdev.flatlaf.FlatLaf
-import com.jthemedetecor.OsThemeDetector
 
 import java.io.{ByteArrayOutputStream, PrintStream}
-import java.net.URLClassLoader
 import java.nio.file.Files
 import javax.swing.{JFrame, JOptionPane}
 
 object FormsApp extends App {
-  def init(isDark: Boolean = OsThemeDetector.getDetector.isDark): Unit = {
+  def init(isDark: Boolean = true): Unit = {
     FlatLaf.setup(if (isDark) new FlatDarkFlatIJTheme else new FlatLightFlatIJTheme)
   }
 

bin/project.cmd

@@ -49,8 +49,6 @@ val appJvm = moduleJvmPub(
   jvmIvyDeps = ISZ(
     "com.formdev:flatlaf:",
     "com.formdev:flatlaf-intellij-themes:",
-    "com.github.Dansoftowner:jSystemThemeDetector:",
-    "org.slf4j:slf4j-nop:",
     sireumJar.toUri
   ),
   pubOpt = None()

readme.md

@@ -3,4 +3,11 @@
 [![License](https://img.shields.io/badge/License-BSD_2--Clause-brightgreen.svg)](https://github.com/sireum/forms/blob/master/license.txt)
 [![JitPack](https://jitpack.io/v/org.sireum/forms.svg)](https://jitpack.io/#org.sireum/forms)
 
-This repository holds various Sireum (Swing) Forms.
+This repository holds various Sireum (Swing) Forms.
+
+### Library Dependencies
+
+| Library | Maven | License |
+| :--- | :---: | :---: | 
+| [FlatLaf](https://github.com/JFormDesigner/FlatLaf) | [(link)](https://central.sonatype.com/artifact/com.formdev/flatlaf/) | [Apache 2.0](https://github.com/JFormDesigner/FlatLaf/blob/main/LICENSE) |
+| Forms RT | [(link)](https://central.sonatype.com/artifact/com.intellij/forms_rt) | [Apache 2.0](http://www.apache.org/licenses/LICENSE-2.0.txt) |

versions.properties

@@ -1,5 +1,3 @@
 com.intellij%forms_rt%=7.0.3
 com.formdev%flatlaf%=3.5.2
 com.formdev%flatlaf-intellij-themes%=3.5.2
-com.github.Dansoftowner%jSystemThemeDetector%=3.9.1
-org.slf4j%slf4j-nop%=2.0.16