I know it doesn’t solve the feature request, but if you don’t use Android, you can get the Tool Options on the screen with the Redesign plugin or with the Touchify plugin. And the Touchify plugin, which offers much more than the Redesign plugin, is without exaggeration definitely a killer plugin.
Michelist