Merge branch 'MihailRis:main' into main

This commit is contained in:
Xertis 2025-01-18 15:54:34 +03:00 • committed by GitHub
commit dc83e9b466
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
78 changed files with 930 additions and 254 deletions

View file

@ -37,4 +37,6 @@ end
function on_open()
refresh()
input.add_callback("key:f5", refresh, document.root)
end