Numlock problem is happening here too, but NumLock doesn’t work for me here with ANY apps – it always just emits numbers. This is easy enough to hack into TextView and is the best I can do for now without a keyboard with functional NumLock, perhaps I need a ‘real’ Mac keyboard? I only have an el cheapo Windows keyboard.
Copy from console may or may not be a Ted2go thing – I’ll have a look.
As for app icons, it’ll have to wait until I next mess with the build system. There are a number of things to be done here anyway so it’ll probably be soonish.