--- a/UserPreferences.st Fri Feb 21 12:01:56 2020 +0100
+++ b/UserPreferences.st Fri Feb 21 15:34:48 2020 +0100
@@ -2366,6 +2366,19 @@
"Modified: / 22-10-2010 / 11:13:54 / cg"
!
+icccm20Compliant
+ "should I behave icccm20Compliant w.r.t the X window manager?"
+
+ ^ true
+
+ "
+ UserPreferences current icccm20Compliant
+ "
+
+ "Created: / 08-11-2010 / 14:47:52 / cg"
+ "Modified: / 09-11-2010 / 13:02:43 / cg"
+!
+
menuPanelTakesFocusOnClick
"if true, the menu panel takes the focus and allows further control via
cursor and tab keys."