... into the source window. That source should be the file pointed to from the
2006-12-27 Mike Cvet <email@example.com>
* SourceWindow.java (updateShownStackFrame): Display the source
filename in the window, even if the DOMSource is null.
* SourceBuffer.java (loadFile): If the DOMSource for the current
scope is null, attempt to just load the plaintext from the
source file if we can get it. Fixes #3813.