MySQL Bugs: #71885: Add ability to select tab length and option for tabs to spaces

Bug #71885	Add ability to select tab length and option for tabs to spaces
Submitted:	28 Feb 2014 15:28	Modified:	27 Aug 2014 20:51
Reporter:	Christopher Mancini	Email Updates:
Status:	Duplicate	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S4 (Feature request)
Version:	6	OS:	Any
Assigned to:		CPU Architecture:	Any
Tags:	tabs

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
I would like the ability to choose the size of the tabs and whether or not to use spaces instead of tabs for my saved sql files in the preferences section under SQL Editor. Leaving the defaults to 4 and false respectively.

How to repeat:
Currently no option.

Duplicate of bug #70148 #66382 etc