Differences
This shows you the differences between the selected revisions of the page.
| 2019-03-14 | 2019-03-14 | ||
| no session bugs (martin) | local shortcut edit bug (martin) | ||
| Line 17: | Line 17: | ||
| * Bug fix: Reloading file in internal editor can cause unwanted upload of partially reloaded file. [[bug>1728]] | * Bug fix: Reloading file in internal editor can cause unwanted upload of partially reloaded file. [[bug>1728]] | ||
| * Bug fix: Failure when starting any (local) batch file operation with no session opened. | * Bug fix: Failure when starting any (local) batch file operation with no session opened. | ||
| + | * Bug fix: Command to create/edit a local shortcut was disabled with no session opened. | ||
| ===== [[5.14.5]] 5.14.5 RC ((2019-02-28)) ===== | ===== [[5.14.5]] 5.14.5 RC ((2019-02-28)) ===== | ||