9268e87 4ba234d 1ddba8b 4ba234d
1
2
3
4
5
6
7
8
9
10
11
12
13
[client] showSidebarNavigation = false showErrorDetails = false [theme] base="dark" primaryColor = "#702963" font="serif" [server] fileWatcherType = "auto" runOnSave = true
