Kattis UI Fix · Historial de versions
Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.
- 0.1.514 d’ag. del 2022MV3
Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.