Hello, I’m new toBaseX, and I’m trying to customize the GUI, by changing the background color ofthe Editor panel. I always use dark themes in IDEs because brightwhites hurt my eyes. However,I’ve found no way to change that setting in Base X. The Options / Colorssetting in the main menu effects changes to panels other than the Editor. Is there away to customize this? Thank youvery much for any help, and especially for having built this great product andmaking it open source! Bestregards, Alex