The REPL has a default tab size of 4 spaces, which seems to be a bit too much. The reason is that the REPL transforms tabs into spaces, and therefore whenever you want to manually deindent, you need to delete at least 4 characters. On the other hand, using 2 as default results in less keystrokes, without hurting readability.
Details
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
I have no problem with this conceptually. I'm not sure if there are any caveats or other things that need to be updated though, so please wait for more input before landing
This should probably be a language-specific setting, but I see no problem in doing it this way right now, since there is practically only one language.
Please update any REPL tests on the Swift branch that need updating when cherry-picking though.
@aprantl, how should I proceed with the swift branch? Should I create a new branch in https://github.com/apple/swift and share it here so it's available for whoever does the merge?
@aprantl, how should I proceed with the swift branch? Should I create a new branch in https://github.com/apple/swift and share it here so it's available for whoever does the merge?
Actually, I can just cherry-pick it myself, let's not worry about this.