Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
spaces/tab indentation in the sql editor #103
It would be nice if there was a preference for the editors indent behaviour.
Also: currently 4 spaces nearly (but not quite) equal the size of one
I've now added preferences to change the number of spaces per tab, and you can now use spaces for indenting as well.
(I'm not sure how well I implemented the spaces vs. tabs for indenting feature, since most apps I tried behave completely different in corner cases, but I think I came up with a reasonable bahavior)