Differences
This shows you the differences between the selected revisions of the page.
| 2019-05-27 | 2019-05-27 | ||
| bug 1748 (martin) | bug 1749 (martin) | ||
| Line 34: | Line 34: | ||
| * Bug fix: Two consecutive different file mask delimiters are processed incorrectly. [[bug>1745]] | * Bug fix: Two consecutive different file mask delimiters are processed incorrectly. [[bug>1745]] | ||
| * Bug fix: Failure when undocking toolbar on a system with multiple monitors with different DPI. [[bug>1748]] | * Bug fix: Failure when undocking toolbar on a system with multiple monitors with different DPI. [[bug>1748]] | ||
| + | * Bug fix: Failure after a session lost while in Console dialog is reconnected. [[bug>1749]] | ||
| ===== [[5.15.1]] 5.15.1 ((2019-04-11)) ===== | ===== [[5.15.1]] 5.15.1 ((2019-04-11)) ===== | ||