Add shortcut key (F12) for drop-down terminal Additional info http://docs.xfce.org/apps/terminal/dropdown