Differences
This shows you the differences between the selected revisions of the page.
| 2023-02-21 | 2023-02-21 | ||
| tab/session/menu/worspace fixes (martin) | ctrl+t reverses (martin) | ||
| Line 13: | Line 13: | ||
| * Bug fix: Separation of //Tab// and //Session// menus was unintentionally not reverted for Explorer interface. | * Bug fix: Separation of //Tab// and //Session// menus was unintentionally not reverted for Explorer interface. | ||
| * Bug fix: Wrong behaviour when trying to open a workspace that does not contain any valid session. | * Bug fix: Wrong behaviour when trying to open a workspace that does not contain any valid session. | ||
| + | * Bug fix: ''Ctrl+T'' opens the wrong type of tab. | ||
| ===== [[6.0]] 6.0 beta ((2023-02-08)) ===== | ===== [[6.0]] 6.0 beta ((2023-02-08)) ===== | ||