Michael Rodler 006850ea5e Changed helper function for workspace->num assignment to a static method of Workspaces class
and adapted comments/method name to be consistent with the rest
2020-07-27 10:56:49 +02:00
..
2020-05-22 21:23:04 +02:00
2020-06-12 15:19:46 +02:00
2019-05-18 19:44:45 -04:00