Bug #70148 Would like the SQL Editor tab indent size to be customisable
Submitted: 26 Aug 2013 10:38 Modified: 5 Nov 2014 2:02
Reporter: Paul Keenan Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench Severity:S4 (Feature request)
Version:6.0.6 OS:Windows (Windows 7 Professional)
Assigned to: CPU Architecture:Any
Tags: editor tab

[26 Aug 2013 10:38] Paul Keenan 
Description:
It would be great if I could customise the number of spaces a tab character represents.  I have a lot of source files where things don't line up properly in the editor because the tab size 8 was used.  The editor only uses a fixed value of 4 spaces currently.  I also prefer the look of 8 spaces. :)

How to repeat:
Open Workbench.
Open the Edit->Preference Pane.
There is no option to change the tab indent.

Suggested fix:
Add an item to the SQL Editor section of the Edit->Preferences dialog to allow the user to input the desired number of spaces a tab stop represents.
[17 Sep 2013 14:52] Lisa Ehrlinger 
http://bugs.mysql.com/bug.php?id=70288 marked as duplicate.
[5 Nov 2014 2:02] Philip Olson 
Posted by developer:
 
Fixed as of the upcoming MySQL Workbench 6.2.4 release, and here's the changelog entry:

A new "Indentation" section was added to the "General Editors"
preferences. Included are options to set the indentation width and tab
width.

Thank you for the bug report.