2 Nov
2023
2 Nov
'23
5:22 a.m.
This is used by google-chrome. I added this hoping to fix an issue, but this was unrelated to input pane. Not having it doesn't seem detrimental, although since I already implemented this I figured it would be a waste to throw it away.