Differences
This shows you the differences between the selected revisions of the page.
| 2020-07-24 | 2020-07-29 | ||
| releasing 5.17.7 (martin) | bug 1894 (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. | + | * Files with the same name except for a letter case are sorted deterministically. [[bug>1894]] |
| * 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. | ||