Differences
This shows you the differences between the selected revisions of the page.
| 2023-03-09 | 2023-03-09 | ||
| edit link name bug (martin) | select/unselect buggy (martin) | ||
| Line 6: | Line 6: | ||
| * Bug fix: When switching from a remote tab to a local tab, the "right" status bar does not show correct information. | * Bug fix: When switching from a remote tab to a local tab, the "right" status bar does not show correct information. | ||
| - | * Bug fix: //Edit Link// command in Explorer interface has incorrect name //Link// | + | * Bug fix: //Edit Link// command in Explorer interface has incorrect name //Link//. |
| + | * Bug fix: //Mark > Select/Unselect// command was behaving incorrectly. | ||
| ===== [[6.0.1]] 6.0.1 beta ((2023-03-07)) ===== | ===== [[6.0.1]] 6.0.1 beta ((2023-03-07)) ===== | ||