Differences
This shows you the differences between the selected revisions of the page.
| 2018-05-11 | 2018-05-11 | ||
| April 2018 Update (martin) | releasing 5.13.2 (martin) | ||
| Line 29: | Line 29: | ||
| * 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.2]] 5.13.2 (not released yet) ((2018-05-11)) ===== | + | ===== [[5.13.2]] 5.13.2 ((2018-05-11)) ===== |
| * Workaround for a bug in Windows 10 version 1803 (April 2018 Update), causing drag & drop downloads to Windows Explorer end in a wrong folder (computer restart required). [[bug>1644]] | * Workaround for a bug in Windows 10 version 1803 (April 2018 Update), causing drag & drop downloads to Windows Explorer end in a wrong folder (computer restart required). [[bug>1644]] | ||