Scrollbar of console window is sometimes missing

The scrollbar of the console window is not always updated correctly (i.e. missing) if text is inserted into the Gtk::TextView while the Gtk::Notebook page containing the TextView is not active. Often, it can be brought back by adding more text while the TextView is shown. The scroll-to-end code also seems to have some influence.