Sorry, that was a typo in 'sqleditor/__init__.py'.
I have updated the patch, We require this option because by default codemirror indent the code with spaces.
Steps to re-produce (without patch):
1) With preference option
Use spaces? = False
Tab size = 4
2) Open query tool
- Press Tabs key 3-4 times & type select 1; <enter>
- Observe the new line indentation using right arrow key. (Attaching screenshot)
This patch allow us to use Tab key as indentation.
Now apply the patch set the option Use tabs for indentation? to true and check the same behaviour.
