Programming environment for editing various of my live apps without restarting them.

hoist f4-handling out of editor substrate

I'm not sure why I thought it was necessary to put it in there.

The only difference in behavior from this commit: selecting text and hitting 'f4' used to delete the selected text before submitting. Now it no longer deletes. I've never relied on this.

'f4' needs no viewport book-keeping or A/B refreshing, so this should also be slightly less wasteful.

Created by  Kartik K. Agaram  on July 23, 2023
5HBC66CSFQ257TO3DJYBUNKE5RKR47CUJNMYP6Y4F7T6W7LNRV4AC
Change contents