--- a/UserPreferences.st	Fri Aug 24 14:14:33 2018 +0200
+++ b/UserPreferences.st	Fri Aug 24 19:40:54 2018 +0200
@@ -2987,6 +2987,28 @@
     "Created: / 17-07-2010 / 14:17:02 / cg"
 !
 
+immediateCheckClassVersionAgainstRepository
+    "if true, a class' revision is checked to be up-to-date, when selected (and shown in the lower package info)."
+
+    ^ self at:#immediateCheckClassVersionAgainstRepository ifAbsent:false
+
+    "
+     UserPreferences current immediateCheckClassVersionAgainstRepository
+     UserPreferences current immediateCheckClassVersionAgainstRepository:true
+    "
+!
+
+immediateCheckClassVersionAgainstRepository:aBoolean
+    "if true, a class' revision is checked to be up-to-date, when selected (and shown in the lower package info)."
+
+    self at:#immediateCheckClassVersionAgainstRepository put:aBoolean
+
+    "
+     UserPreferences current immediateCheckClassVersionAgainstRepository
+     UserPreferences current immediateCheckClassVersionAgainstRepository:true
+    "
+!
+
 runLintChecksInBackground
     "controls the browser's lint-check behavior;
      background operation (Jan's pref) makes it difficult to stop and debug...)"