Open hostilefork opened 2 years ago
The console should be able to differentiate between a typed tab and a tab character coming pasted from the clipboard.
(Tabs should be converted to spaces or some kind of visible ornery character, given the language philosophy)
The console should be able to differentiate between a typed tab and a tab character coming pasted from the clipboard.
(Tabs should be converted to spaces or some kind of visible ornery character, given the language philosophy)