Differences
This shows you the differences between the selected revisions of the page.
2019-06-05 | 2019-06-06 | ||
bug 1752 (martin) | bug 1754 (martin) | ||
Line 23: | Line 23: | ||
* Bug fix: Directory changes cache is not case sensitive when resolving symbolic links. [[bug>1739]] | * Bug fix: Directory changes cache is not case sensitive when resolving symbolic links. [[bug>1739]] | ||
- | ===== [[5.15.3]] 5.15.3 (not released yet) ((2019-06-03)) ===== | + | ===== [[5.15.3]] 5.15.3 (not released yet) ((2019-06-06)) ===== |
+ | * Using recommended sizes of icons when installed from Microsoft Store. [[bug>1754]] | ||
* Bug fix: With every start on a monitor with different DPI than the primary monitor, dimensions of the window and some of its components change slightly. [[bug>1750]] | * Bug fix: With every start on a monitor with different DPI than the primary monitor, dimensions of the window and some of its components change slightly. [[bug>1750]] | ||