Kattis UI Fix · История на версиите
Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.
- 0.1.514.08.2022 г.MV3
Adds back the old Kattis UI buttons on problem pages as well as a toggle to hide the editor panel.