Differences
This shows you the differences between the selected revisions of the page.
| 2020-07-21 | 2020-07-21 | ||
| bug 1890 (martin) | letter case issues (martin) | ||
| Line 32: | Line 32: | ||
| * Optionally disable moving using drag&drop. [[bug>1884]] | * Optionally disable moving using drag&drop. [[bug>1884]] | ||
| * Workaround for wrong description of ''Num *'' keyboard shortcut in menus with German keyboard. [[bug>1889]] | * Workaround for wrong description of ''Num *'' keyboard shortcut in menus with German keyboard. [[bug>1889]] | ||
| + | * Files with the same name except for a letter case are sorted deterministically. | ||
| * Bug fix: Local file panel ignored changes in latter case of files and folders. [[bug>1885]] | * Bug fix: Local file panel ignored changes in latter case of files and folders. [[bug>1885]] | ||
| * Bug fix: Local custom commands that need session but no remote files were not disabled when session was not connected. | * Bug fix: Local custom commands that need session but no remote files were not disabled when session was not connected. | ||
| + | * Bug fix: Correct letter case variant of remote directory in directory tree was not always selected. [[bug>1891]] | ||
| ===== [[5.17.7]] 5.17.7 (not released yet) ((2020-07-16)) ===== | ===== [[5.17.7]] 5.17.7 (not released yet) ((2020-07-16)) ===== | ||