Source line numbers

[HRH]

Hi,
Today, I noticed that the line numbers in the source code pane of the IDE 
suddenly had disappeared, even though View->Show Line numbers were checked. 
Closed and re-opened the source, the line numbering re-appeared. There might be 
an intermittent bug somewhere in NB 12 Beta 4. As I reported yesterday, the 
spell-checking functionality does not prompt correct spelling either (I thought 
Alt+Enter was supposed to prompt suggested correct spellings).
Thanks