Dr_Willis, 2 years ago

I have seen it with some Dock/panels, but the specific DE/tools you mention is not something I have used.

check the project page for the panel you are using.