2 ms·
It would be simpler to just make an editor which displays a { after any end-of-line colon and lines with } before each deindent, without actually adding them to
by plorkyeran 13y ago
It would be simpler to just make an editor which displays a { after any end-of-line colon and lines with } before each deindent, without actually adding them to the file.