Feature request: typing replaces selection in widgets

I tend to use lots of keyboard shortcuts in Windows, I tab from widget to widget and press enter to apply my changes. In Windows the usual default is to select and highlight the text when you enter a text box. If you then start typing, the highlighted text is deleted and replaced with your typing. But in Blender, the typing is inserted at the cursor position.
My preference is for “typing replaces selection” perhaps as an option in the user preferences.

I’m writing this while I wait for Blender to respond after inadvertently increasing the number of particles in a simulation by typing 1000 into the middle of 20000…

Does anyone know whether this is a conscious design decision in Blender, or something nobody has noticed before?

My mistake. I restarted Blender and now “typing replaces selection” is working…