Function keys and shortcuts

[R Kimber]

On Tue, 28 Jul 2015 15:20:06 +0100
Colin Law wrote:

> Found it, https://ubuntu-mate.org/blog/ubuntu-mate-vivid-alpha2/ says
> "Enable Tilda pull-down terminal integration. Press F12 to show/hide"
> Don't know how to disable it though.
> 
> This allegedly tells you how to disable it.
> http://iamlinuxuser.com/2015/03/11/ubuntu-mate-15-04-tilda/

Ah, brilliant.  Many thanks.

Yes, removing it from the startup list should do, but I guess it's
uninstallable as well.

- Richard.
-- 
Richard Kimber