Comment 3 for bug 1512086

I think we should get rid of the tool size menu too and attach a spinbox to those tools that can have a size != 1 and give them individual sizes. Size keyboard shortcuts should still work as usual afterwards, but only if a tool that can have size is active.