MySQL Bugs: #70288: Tab Characters should be configurable for width and use of spaces if desired.

Bug #70288	Tab Characters should be configurable for width and use of spaces if desired.
Submitted:	10 Sep 2013 20:10	Modified:	17 Sep 2013 10:15
Reporter:	Scott Madoc	Email Updates:
Status:	Duplicate	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S4 (Feature request)
Version:	6.0	OS:	Any
Assigned to:		CPU Architecture:	Any
Tags:	space, tab

Description:
Tabs don't seem to be configurable in the editor.  This creates a problem for most dev coding standards where tabs are to be replaces by spaces, and often the width is also specified (usually 3 or 4).

Coming from a third tier production support background where you rarely use the same ide as the original developer it is a critical way for making code easily supportable when formatting is totally out of whack.

For some this is simply a personal preference, for others who expect the code to live long enough to need maintenance/upgrading at some point it is critical for timely analysis.

How to repeat:
Try to set tabs to be represented by four spaces in the Workbench preferences or options menu.

Suggested fix:
1)  Allow the user to configure the number of spaces to be used to represent tab characters.

2)  All the user to opt for using space or tab characters when using the tab key.

duplicates http://bugs.mysql.com/bug.php?id=70148