BaseXdb/basex — comment on commit bbe64d46ae156ac37ea81a5a7f2991f991fd29c4
File: src/main/java/org/basex/gui/GUIMacOSX.java line 133
By ChristianGruen:

Just reverted; shouldn't have happened anyway. Thanks for the hint.