Code-wise this looks OK, but we need an UX review based on comment https://bugs.launchpad.net/scratch/+bug/1032565/comments/2 tomake sure they are OK with F12 (I also use that shortcut for my dropdown terminal).
« Back to merge proposal
Code-wise this looks OK, but we need an UX review based on comment https:/ /bugs.launchpad .net/scratch/ +bug/1032565/ comments/ 2 tomake sure they are OK with F12 (I also use that shortcut for my dropdown terminal).