- Oct 13, 2018
-
-
Christian H authored
-
-
- Oct 12, 2018
-
-
-
Hermann authored
-
- Sep 02, 2018
- Sep 01, 2018
- Aug 05, 2018
- Jul 18, 2018
-
-
Hermann authored
-
- Jun 12, 2018
-
-
Hermann authored
-
- Jun 10, 2018
-
-
Hermann authored
-
- Jun 09, 2018
- Jun 07, 2018
- May 28, 2018
-
-
Hermann authored
-
- May 25, 2018
- May 23, 2018
- May 18, 2018
- May 17, 2018
- May 15, 2018
-
-
Hermann authored
problem: When searching, the result list was not updated properly and clicking on a result was not registered if the user did not scroll through the list before (and therefore update) this fix now makes debouncing searchupdates cleaner also fixes a problem with the cancel button in the searchfield, which can apparently only handle iconbuttons
-
Hermann authored
-
Hermann authored
-
- May 14, 2018
-
-
Hermann authored
-