Differences
This shows you the differences between the selected revisions of the page.
| 2018-03-19 | 2018-03-19 | ||
| no summary (222.218.99.133) (hidden) (untrusted) | 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)) ===== | ||