I see that you want to remove history, text/bytecode icons
Why ?
I am using those.
Phil
My main concern is, cleaning up the code.
I don't want to change the functionality or appearance. But some users suggest to remove�� the icons and history. I would, if possible change this to a plugin. But if that does not work (history panel). I would keep it.