Differences
This shows you the differences between the selected revisions of the page.
| 2018-03-15 | 2018-03-19 | ||
| bug 1622 (martin) | no summary (222.218.99.133) (hidden) (untrusted) | ||
| Line 36: | Line 36: | ||
| * Bug fix: It was not possible to open workspace with special characters from a desktop shortcut. [[bug>1610]] | * Bug fix: It was not possible to open workspace with special characters from a desktop shortcut. [[bug>1610]] | ||
| * Bug fix: Failure when focused panel is changed, while double-clicking a file to edit it. [[bug>1611]] | * Bug fix: Failure when focused panel is changed, while double-clicking a file to edit it. [[bug>1611]] | ||
| + | *ok | ||
| ===== [[5.12.2]] 5.12.2 RC ((2018-02-01)) ===== | ===== [[5.12.2]] 5.12.2 RC ((2018-02-01)) ===== | ||