* whitespaces
* removed show_facility false calls, they are handled in onWindowActive resp. reset_base anyway