Showing all 2 (Edit, Save, CSV, Feed) |
ID# | Date | Updated | Type | Status | Sev | Version | OS | CPU | Summary |
---|---|---|---|---|---|---|---|---|---|
73188 | 2014-07-03 19:42 | 2014-09-10 15:14 | MySQL Workbench: SQL Editor | Closed (3515 days) | S2 | 6.1.7 | Windows | Any | Saving edits clears undo history |
73189 | 2014-07-03 19:58 | 2014-11-05 2:13 | MySQL Workbench: SQL Editor | Closed (3459 days) | S4 | 6.1.7 | Any | Any | Convert tab to spaces |
Showing all 2 (Edit, Save, CSV, Feed) |