Nerd Dictation is a universal voice-typing solution that works anywhere you can input text, regardless of the desktop environment or window manager you’re using.
Here is a demo video: https://www.youtube.com/watch?v=T7sR-4DFhpQ
The good news is that there’s also a gui that consists of a tray icon and dialog for installing voice models.
There are also start and end scripts that activate and deactivate voice input and can be easily bound to your desired keyboard shortcuts.
Now the battle between “tab” and “space space space” people can really begin.
I don’t think people who use spaces press spacebar four (or who knows how many) times.
The IDE will convert a tab into four spaces for me automatically.