software
iTerm2
Guakeの代替として設定できるMac用ターミナル。
Preferences → Profile を新規作成。
ProfileのWindowタブでStyle, Screen, Spaceを設定。
ProfileのKeysタブでホットキーを設定。(もちろんF12)