Anastasis Georgoulas
b86a48955e
Fix link to source
...
The URLs contained an extra `clippy_lints`, which resulted in
broken links. Links are generated using each lint's `id_location`,
which already contains the full path inside the repository.
2024-10-15 22:42:51 +01:00
Guillaume Gomez
603934336d
Greatly reduce generated HTML page size
2024-10-03 11:17:33 +02:00
Guillaume Gomez
823c1246ab
Move inlined CSS into style.css
2024-10-03 11:12:19 +02:00
Guillaume Gomez
8a3d4e1a70
Replace rinja custom syntax with default syntax
...
Since all angular code was removed, there is no conflict anymore before angular and jinja2 syntaxes so we can just use plain jinja2 syntax.
2024-10-03 11:12:19 +02:00
Guillaume Gomez
d52b9aa564
Move theme handling JS into its own file to make theme being applied before first rendering
2024-10-03 11:12:19 +02:00
Guillaume Gomez
47f40d468a
Improve rendering speed by moving settings generation after theme rendering
2024-10-03 11:12:19 +02:00
Guillaume Gomez
59ccebe426
Support all filters except versions
2024-10-03 11:12:19 +02:00
Guillaume Gomez
aeb548a4f7
Put back interactions with settings menus
2024-10-03 11:12:11 +02:00
Guillaume Gomez
f2193c680c
Completely remove angular and generate parts of settings in JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
574e3dd922
Finish porting lint functionalities to vanilla JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
0055cebaa3
Replace search with vanilla JS
2024-09-22 22:30:45 +02:00
Guillaume Gomez
b522e7a944
Generate lint list in HTML directly instead of JS
2024-09-22 22:30:44 +02:00
