Bureaucrats, editor, reviewer, Administrators
13,550
edits
Changes
Jump to navigation
Jump to search
→Graphical User Interface
=Graphical User Interface=
The graphical user interface of BaseX has been revised and made more consistent. With The icons were replaced by scalable ones, building upon the [https://openjdk.org/jeps/263 JEP 263], Java 9 introduced HiDPI graphics support for HiDPI graphics on Windows and Linux, so the old icons were replaced by scalable ones].
=XQuery=
