Differences
This shows you the differences between the selected revisions of the page.
| 2018-06-18 | 2018-06-19 | ||
| releasing 5.13.3 (martin) | path label color bug (martin) | ||
| Line 34: | Line 34: | ||
| * Bug fix: Ad-hoc sessions opened with workspace duplicated into a new window had a wrong name. | * Bug fix: Ad-hoc sessions opened with workspace duplicated into a new window had a wrong name. | ||
| * Bug fix: When editing multiple files, opening ends on the first file that is already opened. | * Bug fix: When editing multiple files, opening ends on the first file that is already opened. | ||
| + | |||
| + | ===== [[5.13.4]] 5.13.4 (not released yet) ((2018-06-19)) ===== | ||
| + | |||
| + | * Bug fix: When system theme changes, path labels lose their background color. | ||
| ===== [[5.13.3]] 5.13.3 ((2018-06-18)) ===== | ===== [[5.13.3]] 5.13.3 ((2018-06-18)) ===== | ||