Commit Graph

2 Commits

Author SHA1 Message Date
berniev
90eda3da47 cast max 2022-12-02 00:50:00 +01:00
wmayer
3eaad09ed1 Gui: implement WorkbenchSwitcher class to encapsulate the parameter details 2022-11-11 22:53:02 +01:00