lambdroid.bsky.social
@lambdroid.bsky.social
I usually use the button to the bottom right, which says something like 'Spaces: 4'. I'd click on that, convert indentation to tabs, change the tab display size to 2, then convert indentation back to spaces.
June 8, 2025 at 4:33 AM
I usually use the button to the bottom right, which says something like 'Spaces: 4'. I'd click on that, convert indentation to tabs, change the tab display size to 2, then convert indentation back to spaces.