update console layout
This commit is contained in:
parent
aeb8acb7c9
commit
fb18442322
@ -23,7 +23,17 @@
|
|||||||
></textbox>
|
></textbox>
|
||||||
</container>
|
</container>
|
||||||
<splitbox id="editorRoot" pos="0,30" size-func="-1,gui.get_viewport()[2]-30"
|
<splitbox id="editorRoot" pos="0,30" size-func="-1,gui.get_viewport()[2]-30"
|
||||||
orientation="horizontal" split-pos="0.7">
|
orientation="horizontal" split-pos="0.3">
|
||||||
|
<splitbox split-pos="0.75">
|
||||||
|
<panel id="filesList" color="#00000010" interval="6" padding="4">
|
||||||
|
<!-- content is generated in script -->
|
||||||
|
</panel>
|
||||||
|
<panel id="problemsLog"
|
||||||
|
color="#00000010"
|
||||||
|
padding="5,15,5,15">
|
||||||
|
<label margin="0,0,0,5">@Problems</label>
|
||||||
|
</panel>
|
||||||
|
</splitbox>
|
||||||
<splitbox id="editorContainer" split-pos="0.8">
|
<splitbox id="editorContainer" split-pos="0.8">
|
||||||
<container color="#00000080">
|
<container color="#00000080">
|
||||||
<container size-func="-1,30" color="#00000020">
|
<container size-func="-1,30" color="#00000020">
|
||||||
@ -57,17 +67,6 @@
|
|||||||
padding="4" color="#000000A0" max-length="170">
|
padding="4" color="#000000A0" max-length="170">
|
||||||
</panel>
|
</panel>
|
||||||
</splitbox>
|
</splitbox>
|
||||||
<splitbox
|
|
||||||
split-pos="0.25">
|
|
||||||
<panel id="problemsLog"
|
|
||||||
color="#00000010"
|
|
||||||
padding="5,15,5,15">
|
|
||||||
<label margin="0,0,0,5">@Problems</label>
|
|
||||||
</panel>
|
|
||||||
<panel id="filesList" color="#00000010" interval="6" padding="4">
|
|
||||||
<!-- content is generated in script -->
|
|
||||||
</panel>
|
|
||||||
</splitbox>
|
|
||||||
</splitbox>
|
</splitbox>
|
||||||
<textbox id='prompt'
|
<textbox id='prompt'
|
||||||
consumer='submit'
|
consumer='submit'
|
||||||
|
|||||||
@ -302,9 +302,11 @@ function on_open(mode)
|
|||||||
table.sort(scripts)
|
table.sort(scripts)
|
||||||
for _, filename in ipairs(scripts) do
|
for _, filename in ipairs(scripts) do
|
||||||
local parent = file.parent(filename)
|
local parent = file.parent(filename)
|
||||||
|
local script_type = "file"
|
||||||
files_list:add(gui.template("script_file", {
|
files_list:add(gui.template("script_file", {
|
||||||
path = parent .. (parent[#parent] == ':' and '' or '/'),
|
path = parent .. (parent[#parent] == ':' and '' or '/'),
|
||||||
name = file.name(filename),
|
name = file.name(filename),
|
||||||
|
type = script_type,
|
||||||
filename = filename
|
filename = filename
|
||||||
}))
|
}))
|
||||||
end
|
end
|
||||||
|
|||||||
@ -1,6 +1,11 @@
|
|||||||
<label hover-color='#30A0FF'
|
<container size="18">
|
||||||
interactive='true'
|
<image src="gui/%{type}" size="16"></image>
|
||||||
markup='md'
|
<label hover-color='#30A0FF'
|
||||||
onclick='open_file_in_editor("%{filename}")'>
|
pos="20,2"
|
||||||
[#FFFFFF80]%{path}[#FFFFFFFF]%{name}
|
interactive="true"
|
||||||
</label>
|
onclick='open_file_in_editor("%{filename}")'
|
||||||
|
markup='md'
|
||||||
|
sizefunc="-1,-1">
|
||||||
|
[#FFFFFF80]%{path}[#FFFFFFFF]%{name}
|
||||||
|
</label>
|
||||||
|
</container>
|
||||||
|
|||||||
@ -26,7 +26,10 @@
|
|||||||
"gui/left_arrow",
|
"gui/left_arrow",
|
||||||
"gui/right_arrow",
|
"gui/right_arrow",
|
||||||
"gui/lock",
|
"gui/lock",
|
||||||
"gui/save"
|
"gui/save",
|
||||||
|
"gui/block",
|
||||||
|
"gui/item",
|
||||||
|
"gui/file"
|
||||||
],
|
],
|
||||||
"fonts": [
|
"fonts": [
|
||||||
{
|
{
|
||||||
|
|||||||
BIN
res/textures/gui/block.png
Normal file
BIN
res/textures/gui/block.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 150 B |
BIN
res/textures/gui/file.png
Normal file
BIN
res/textures/gui/file.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 120 B |
BIN
res/textures/gui/item.png
Normal file
BIN
res/textures/gui/item.png
Normal file
Binary file not shown.
|
After Width: | Height: | Size: 4.7 KiB |
Loading…
x
Reference in New Issue
Block a user