Hello,

To use the dark themes for the GUI mentioned in http://docs.basex.org/wiki/Graphical_User_Interface#Look_and_Feels, I downloaded JTattoo-1.6.11.jar and placed it in BaseX/lib.

Upon restarting the GUI, I go to Options/Preferences/Visualization/Look & Feel, where I expect to see the additional themes provided by JTattoo. However, none of them show up in the drop-down menu.

Is there something else I need to do? 

Thank you very much!

Alex