Tue, 07 May 2019 20:23:51 +0200 | Wuzzy | Frontend: Optimize control conflict handling a bit | changeset | files |
Tue, 07 May 2019 19:39:08 +0200 | Wuzzy | Frontend: Highlight key conflicts | changeset | files |
Tue, 07 May 2019 18:45:14 +0200 | Wuzzy | Display a warning when the same key is used multiple times | changeset | files |