Skip to content

freeze top bar of plugin panel in case multiple plugins are loaded

Currently the top bar with plugins names is hidden in some cases, it would be nice if it is frozen. Top bar is also frozen if I open any of these multiple plugins. It looks like that action changes plugin panel size or something, what makes top bar freeze.

Please see movie:

https://owncloud.lcsb.uni.lu/f/10182459

Edited by Piotr Gawron