OK, I give up. Sometimes it happens, others it doesn't (under identical circumstances - i.e. without maximizing/minimizing windows, just typing in the console that has focus). -- External file removal does not update status bar https://launchpad.net/bugs/43537