11 ms·You can use f-keys for the coloured buttons on the BBC Micro too :)by LinuxJedi 3y agoYou can use f-keys for the coloured buttons on the BBC Micro too :)