Describe your feature request
Would it be possible to make the various icons visible in the Tools box (generally in the lower left-hand corner of the Repl view) movable, so that we could rearrange them?
What problem(s) would this feature solve?
No burning problem, just added convenience.
Explain what you were trying to do when you came across the problem leading to this feature request
Depending on monitor resolution, etc., some of the tools towards the bottom of the Tools box that I most commonly use are not visible when the repl starts up, forcing me to scroll.