Довольно долгое время я пользовался терминалом Guake, но при переходе на Ubuntu 13.04 он по непонятным причинам отказался работать стабильно, а именно — не прикреплялся к верхнему краю экрана, оставляя довольно большие щели. Искать причину проблемы было лень и я просто стал опять пользоваться стандартным терминалом.