- Jul 16, 2020
-
-
Reiter, Christoph authored
-
- Jul 14, 2020
-
-
Bekerle, Patrizio authored
-
- Jul 08, 2020
-
-
Reiter, Christoph authored
They are not published yet
-
- Jul 07, 2020
-
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
It's no longer used.
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
-
-
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
In the common case of the user just targeting an activity and not browsing the menu the user wants the menu to be gone right away.
-
Reiter, Christoph authored
-
-
Reiter, Christoph authored
-
-
Reiter, Christoph authored
-
-
-
Reiter, Christoph authored
-
Reiter, Christoph authored
So it doesn't conflict with screenshotting for the docs
-
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
Group activity names and descriptions so it's mroe clear what belongs together
-
-
Reiter, Christoph authored
-
Reiter, Christoph authored
No longer depend on env.js to select the right config but require it to be passed explicitely in the attributes.
-
Reiter, Christoph authored
This reverts commit 299dfdded2b3a56a9e666e70c301c7408e570eba.
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-
Reiter, Christoph authored
-