Scratch

  1. Bug #1032565
  2. Comment #2

Comment 2 for bug 1032565

Revision history for this message
Cameron Norman (cameronnemo) wrote :

F12 is usually used for drop down terminals like guake. I am not sure that would be the best shortcut, as it would override that. Assigning to UX.