File > Open does not refresh the visible text in a document

[jcreedcmu]

Steps to reproduce:

• Start Twelf app
• Try to Open a document like foo.elf Observe:
• Text of document is not visible until you try to edit it