Differences
This shows you the differences between the selected revisions of the page.
| 2015-06-08 | 2015-06-08 | ||
| bug 1335 (martin) | bug 1336 (martin) | ||
| Line 70: | Line 70: | ||
| * Bug fix: Session and log file information on Log window is not updated when switching session. | * Bug fix: Session and log file information on Log window is not updated when switching session. | ||
| * Bug fix: Reference to parent WebDAV directory shows incorrectly when a name of the current folder includes special characters. [[bug>1335]] | * Bug fix: Reference to parent WebDAV directory shows incorrectly when a name of the current folder includes special characters. [[bug>1335]] | ||
| + | * Bug fix: History of some inputs is not saved. [[bug>1336]] | ||
| ===== 5.7.3 ===== | ===== 5.7.3 ===== | ||