Skip to content

Commit 500ded7

Browse files
committed
Enable emulated tabs and set tab size to 4
1 parent eeed162 commit 500ded7

1 file changed

Lines changed: 3 additions & 1 deletion

File tree

  • src/main/kotlin/be/ugent/topl/microide

src/main/kotlin/be/ugent/topl/microide/Main.kt

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -98,6 +98,8 @@ class MainWindow(private val port: String, private val useEmulator: Boolean, pri
9898
defaultCloseOperation = EXIT_ON_CLOSE
9999
textArea.isEditable = true
100100
textArea.highlightCurrentLine = true
101+
textArea.tabsEmulated = true
102+
textArea.tabSize = 4
101103
val theme =
102104
if (!FlatLaf.isLafDark()) Theme.load(javaClass.getResourceAsStream("/light.xml"))
103105
else Theme.load(javaClass.getResourceAsStream("/dark.xml"))
@@ -306,7 +308,7 @@ class MainWindow(private val port: String, private val useEmulator: Boolean, pri
306308
fun build(): Boolean {
307309
save()
308310
errorPane.text = ""
309-
errorPane.foreground = Color.RED
311+
errorPane.foreground = Color(225, 28, 28)
310312
val process = ProcessBuilder("asc", "microide.ts", "-o", "test.wasm", "--disable", "mutable-globals", "--disable", "sign-extension", "--disable", "nontrapping-f2i", "--disable", "bulk-memory", "--sourceMap").redirectErrorStream(true).start()
311313
//thread {
312314
process.inputStream.bufferedReader().forEachLine {

0 commit comments

Comments
 (0)