Bug #87340 Continuation indentation is always with spaces but I want to use tabs.

• Submitted: 7 Aug 2017 12:55
• Modified: 3 Feb 2018 9:32
• Reporter: Danny Davies
• Status: Verified
• Category: MySQL Workbench: SQL Editor
• Severity: S4 (Feature request)
• Version: 6.3.9, 6.3.10
• OS: MacOS (macOS 10.12.x Sierra x86_64)
• CPU Architecture: Any
• Tags: WBBugReporter

[7 Aug 2017 12:55] Danny Davies

Description:
I have set workbench up to insert tab characters when I press the tab key instead of spaces but if I press return at the end of an indented line I find the next line is indented with spaces not tabs.

I want all indentation to be tabs, not spaces, even automatic indentation. For me, tabs are for indentation (that's what they're designed for) and spaces are for separating words.

How to repeat:
While entering an indented multi-line query, press return at the end of an indented line. This new line should be automatically indented to the same level as the preceding line.

Now press the left cursor key and see that spaces have been used instead of a tab character.

Suggested fix:
If tabs are selected for indentation then always use tabs, even for automatic indentation. If spaces are selected then always use spaces.

[3 Feb 2018 9:32] MySQL Verification Team

Hello Danny Davies,

Thank you for the report and feedback.

Thanks,
Umesh