--- a/SimpleView.st Sun Jan 19 02:23:30 2020 +0100
+++ b/SimpleView.st Sun Jan 19 17:28:38 2020 +0100
@@ -6850,6 +6850,16 @@
dependents notNil ifTrue:[ self changed:#pointerInView with:false]
!
+processOutsideButtonEventWhileModal:anEvent
+ "a button event (press/release) arrived for another view,
+ while I (a topView) am open as modal view.
+ Can be redefined to react on clicks outside (eg. CriticsWindow);
+ if handled, the redefining method should return true.
+ If not handled, it should return false."
+
+ ^ false
+!
+
propertyChange:propertyId state: state
"A property has changed, nothing to do here.