Observe changes of UI shown/hidden not only the browser bottom box but also the toolbox (for #470)