| 12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- # Main options
- title-text: ""
- desktop-image: "background.png"
- desktop-color: "#000000"
- terminal-font: "Terminus Regular 14"
- terminal-box: "terminal_box_*.png"
- terminal-left: "0"
- terminal-top: "0"
- terminal-width: "100%"
- terminal-height: "100%"
- terminal-border: "0"
- # Boot menu
- + boot_menu {
- left = 15%
- top = 40%
- width = 55%
- height = 65%
- item_font = "Ubuntu Regular 20"
- item_color = "#cccccc"
- selected_item_color = "#ffffff"
- icon_width = 36
- icon_height = 36
- item_icon_space = 20
- item_height = 40
- item_padding = 2
- item_spacing = 10
- selected_item_pixmap_style = "select_*.png"
- }
- # Countdown label
- # You can change the name of default starting OS here
- + label {
- left = 15%
- top = 31%
- align = "center"
- id = "__timeout__"
- text = "Selected OS will start in %d seconds"
- color = "#cccccc"
- font = "Ubuntu Regular 17"
- }
|
