| Tue, 07 May 2019 19:39:08 +0200 | Wuzzy | Frontend: Highlight key conflicts | file | diff | annotate |
| Tue, 30 Apr 2019 14:21:11 +0200 | Wuzzy | Add explicit custom scroll bar style | file | diff | annotate |
| Mon, 29 Apr 2019 21:23:50 +0200 | Wuzzy | Frontend: Fix wrong keyboard key names being displayed with regard to keyboard layout | file | diff | annotate |