Lukas Schulte Pelkum 90f25ec220 Improve the web frontend (#9) ... * Fix line flowing out of div * Revert line highlighting * Fix tab key behaviour * Move links and version information to a footer * Fix footer hiding last code line * Calculate line number offset based on line overflow * Refactor some code		2021-06-20 15:58:36 +02:00
..
api.js	Improve some frontend stuff	2020-08-24 21:53:23 +02:00
autoload.js	Improve the web frontend (#9)	2021-06-20 15:58:36 +02:00
buttons.js	Improve the web frontend (#9)	2021-06-20 15:58:36 +02:00
notifications.js	Improve the web frontend (#9)	2021-06-20 15:58:36 +02:00
spinner.js	Fix buggy frontend routing	2020-08-24 18:32:14 +02:00