Differences
This shows you the differences between the selected revisions of the page.
| 2014-10-15 | 2014-10-15 | ||
| bug 1231 + bool properties fix (martin) | bug 1232 (martin) | ||
| Line 63: | Line 63: | ||
| * Preventing "Pick an app" being offered as an external editor when the last editor was uninstalled. | * Preventing "Pick an app" being offered as an external editor when the last editor was uninstalled. | ||
| * Displaying notification when source file mask in script matches no file. | * Displaying notification when source file mask in script matches no file. | ||
| + | * More tolerance to invalid modification time format with WebDAV protocol. [[bug>1232]] | ||
| * Bug fix: Failure when error occurs while working with local files. [[bug>1218]] | * Bug fix: Failure when error occurs while working with local files. [[bug>1218]] | ||
| * Bug fix: Keyboard accelerators to mask boxes on Edit file mask dialog were not working. | * Bug fix: Keyboard accelerators to mask boxes on Edit file mask dialog were not working. | ||