--- a/VDBSourceApplication.st	Tue Jan 01 23:46:41 2019 +0000
+++ b/VDBSourceApplication.st	Thu Jan 17 09:28:12 2019 +0000
@@ -241,11 +241,23 @@
 
         file := frame file.
         file notNil ifTrue:[ file := file asFilename ].
-        self sourceFileHolder value: file
+        file notNil ifTrue:[ 
+            self sourceFileHolder value: file.
+        ] ifFalse:[
+            "/ If file is nil, this means that it is either unknown (no 
+            "/ debug info) or it cannot be resolved. If the latter, a 
+            "/ help text is shown, see #updateSourceString.
+            "/ 
+            "/ Therefore, here we force an update to make sure that
+            "/ help text is regenerated.
+            self sourceFileHolder 
+                setValue: file;
+                changed: #value
+        ]
     ].
 
     "Created: / 01-02-2018 / 15:16:24 / Jan Vrany <jan.vrany@fit.cvut.cz>"
-    "Modified: / 02-10-2018 / 11:12:00 / Jan Vrany <jan.vrany@fit.cvut.cz>"
+    "Modified: / 16-01-2019 / 23:55:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
 !
 
 updateSourceString