#FEATURE by cg
class: UserPreferences
added:
#immediateCheckClassVersionAgainstRepository
#immediateCheckClassVersionAgainstRepository:
--- 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...)"