MySQL Bugs: #80308: Can't set index length

Bug #80308	Can't set index length
Submitted:	8 Feb 2016 20:11	Modified:	9 Feb 2016 12:21
Reporter:	Gabriele Tozzi	Email Updates:
Status:	Verified	Impact on me:	None
Category:	MySQL Workbench: Modeling	Severity:	S2 (Serious)
Version:	6.3.6	OS:	Linux (ubuntu)
Assigned to:		CPU Architecture:	Any

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
It is impossible to set an arbitrary length for any index.
Indexes can be defined only with the default length.

How to repeat:
1. edit a table
2. go to the "Indexes" tab
3. create or select an existing index
4. on the "index columns", in the center, select a column
5. try to change the "length" from 0 to any value (eg. 100)

What happens:
once you hit enter, the value is set back to 0.

What should happen:
once you hit enter, the new value is stored

Hello Gabriele Tozzi,

Thank you for the report and repeatable steps.
Verified as describe don Ubuntu 15.10 with MySQL Workbench Community (GPL) for Linux/Unix version 6.3.6 CE build 511 (64 bit).

Thanks,
Umesh