Hello,
 
I’m new to BaseX, and I’m trying to customize the GUI, by changing the background color of the Editor  panel. I always use dark themes in IDEs because bright whites hurt my eyes.
 
However, I’ve found no way to change that setting in Base X. The Options / Colors setting in the main menu effects changes to panels other than the Editor.
 
Is there a way to customize this?
 
Thank you very much for any help, and especially for having built this great product and making it open source!
 
Best regards,
 
Alex