Fixed issues with checkboxes on ubuntu 17.10+

This commit is contained in:
nathan 2018-10-23 16:47:36 +02:00
parent 90df1d7eca
commit 334dc1ec67

View File

@ -51,7 +51,10 @@ class GtkMenuItemCheckbox extends GtkBaseMenuItem implements CheckboxPeer, GCall
if (SystemTray.AUTO_FIX_INCONSISTENCIES &&
(SystemTray.get().getMenu() instanceof _AppIndicatorNativeTray) && OSUtil.Linux.isUbuntu()) {
useFakeCheckMark = true;
// Ubuntu < 17.10 (so 14.04, 14.10, 15.04, 15.10, 16.04, 16.10, 17.04) SCREW UP checkboxes. Ubuntu 17.10 uses gnome-shell properly and thus works correctly.
int[] version = OSUtil.Linux.getUbuntuVersion();
useFakeCheckMark = (version[0] < 17 || (version[0] == 17 && version[1] == 4));
} else {
useFakeCheckMark = false;
}