3 ms·

Here was merely an example. Sometimes I might want to use a web based IDE like edit file on GitHub or GitLab.

• scrollaway 7y ago
  Both of those support using the tab key to indent with tabs. In fact you can even configure the GitHub one to use tabs or spaces.