33 lines
590 B
Plaintext
33 lines
590 B
Plaintext
|
terminal-font: "Terminus Regular 12"
|
||
|
|
desktop-color: "#000"
|
||
|
|
terminal-left: "0"
|
||
|
|
terminal-top: "0"
|
||
|
|
terminal-width: "100%"
|
||
|
|
terminal-height: "100%"
|
||
|
|
terminal-border: "0"
|
||
|
|
|
||
|
|
+ boot_menu {
|
||
|
|
left = 0
|
||
|
|
width = 100%
|
||
|
|
top = 1
|
||
|
|
height = 90%
|
||
|
|
terminal-font = "Terminus Regular 12"
|
||
|
|
item_color = "#ccc"
|
||
|
|
item_height = 16
|
||
|
|
item_padding = 0
|
||
|
|
item_spacing = 1
|
||
|
|
icon_width = 0
|
||
|
|
scrollbar = false
|
||
|
|
selected_item_pixmap_style = "cursor_*.png"
|
||
|
|
}
|
||
|
|
|
||
|
|
+ label {
|
||
|
|
id = "__timeout__"
|
||
|
|
left = 5
|
||
|
|
top = 100%-18
|
||
|
|
height = 14
|
||
|
|
text = "Booting in %d..."
|
||
|
|
color = "#ccc"
|
||
|
|
terminal-font = "Terminus Regular 12"
|
||
|
|
}
|