Merge branch 'MihailRis:main' into main

This commit is contained in:
Xertis
2024-12-09 19:27:45 +03:00
committed by GitHub
93 changed files with 2332 additions and 912 deletions
+3 -2
View File
@@ -22,6 +22,7 @@
multiline='true'
size-func="gui.get_viewport()[1],40"
gravity="bottom-left"
markup="md"
></textbox>
</container>
<container id="editorContainer" pos="0,60" color="#00000080"
@@ -32,10 +33,9 @@
autoresize='true'
margin='0'
padding='5'
editable='false'
multiline='true'
line-numbers='true'
text-color="#FFFFFFA0"
syntax='lua'
size-func="gui.get_viewport()[1]-350,40"
gravity="top-left"
text-wrap='false'
@@ -55,6 +55,7 @@
<textbox id='prompt'
consumer='submit'
margin='0'
markup="md"
gravity='bottom-left'
size-func="gui.get_viewport()[1],40"
onup="on_history_up()"