micheleg/dash-to-dock — pull request #42 by zzrough (2012-12-16 20:40:16+00:00)
Title: Integrate the DropDownTerminal extension

The DropDownTerminal extension window hint is POPUP_MENU and we do not
support that yet, so the window is whitelisted by its wm class.

This fixes
https://github.com/zzrough/gs-extensions-drop-down-terminal/issues/24
on the Dash to Dock side as it is way simpler to do that than the other
way around.