Differences
This shows you the differences between the selected revisions of the page.
| 2017-10-24 | 2017-10-31 | ||
| high dpi fixed (martin) | bug 1571 (martin) | ||
| Line 24: | Line 24: | ||
| ===== [[5.11.3]] 5.11.3 (not released yet) ===== | ===== [[5.11.3]] 5.11.3 (not released yet) ===== | ||
| - | === 2017-10-24 === | + | === 2017-10-31 === |
| * Translations updated: Bahasa Indonesia | * Translations updated: Bahasa Indonesia | ||
| * Bug fix: Official extension //Generate HTTP URL// cannot copy multiple URLs to clipboard. [[bug>1567]] | * Bug fix: Official extension //Generate HTTP URL// cannot copy multiple URLs to clipboard. [[bug>1567]] | ||
| * Bug fix: Parent directory icon broken on 250% scaling and higher. [[bug>1570]] | * Bug fix: Parent directory icon broken on 250% scaling and higher. [[bug>1570]] | ||
| + | * Bug fix: Resizing of Synchronization checklist window does not stop when mouse button is released. [[bug>1571]] | ||
| ===== [[5.11.2]] 5.11.2 ===== | ===== [[5.11.2]] 5.11.2 ===== | ||