2023-04-07 22:10:58 +02:00
|
|
|
[global]
|
|
|
|
|
showWarningOnDirectExecution = false
|
|
|
|
|
|
2023-03-02 15:32:39 +01:00
|
|
|
[theme]
|
2023-03-22 17:32:33 +01:00
|
|
|
primaryColor = "#0E8388"
|
|
|
|
|
backgroundColor = "#2C3333"
|
|
|
|
|
secondaryBackgroundColor = "#2E4F4F"
|
|
|
|
|
textColor = "#CBE4DE"
|
2023-03-02 15:32:39 +01:00
|
|
|
font = "monospace"
|
