From 334dc1ec670185e96cecc991f602695c2f01c29c Mon Sep 17 00:00:00 2001 From: nathan Date: Tue, 23 Oct 2018 16:47:36 +0200 Subject: [PATCH] Fixed issues with checkboxes on ubuntu 17.10+ --- src/dorkbox/systemTray/ui/gtk/GtkMenuItemCheckbox.java | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/dorkbox/systemTray/ui/gtk/GtkMenuItemCheckbox.java b/src/dorkbox/systemTray/ui/gtk/GtkMenuItemCheckbox.java index 533e891..427dc79 100644 --- a/src/dorkbox/systemTray/ui/gtk/GtkMenuItemCheckbox.java +++ b/src/dorkbox/systemTray/ui/gtk/GtkMenuItemCheckbox.java @@ -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; }