diff options
Diffstat (limited to 'theme.txt.in')
| -rw-r--r-- | theme.txt.in | 20 |
1 files changed, 11 insertions, 9 deletions
diff --git a/theme.txt.in b/theme.txt.in index 91cda7d..b864a86 100644 --- a/theme.txt.in +++ b/theme.txt.in @@ -18,15 +18,6 @@ terminal-width: "100%" terminal-height: "100%" terminal-border: "0" -# The panel: bg_alt at ~85% alpha, stretched over the left quarter. -+ image { - left = 0 - top = 0 - width = 25% - height = 100% - file = "panel.png" -} - # %TITLE% is filled in by ./build from /etc/os-release. + label { left = 3% @@ -75,3 +66,14 @@ terminal-border: "0" bg_color = "@SURFACE@" border_color = "@SURFACE@" } + +# The panel: bg_alt at ~85% alpha, stretched over the left quarter. Last on +# purpose: GRUB paints components in reverse order, so the last one declared +# is the bottom layer. Declared first, it covers the menu and dims it. ++ image { + left = 0 + top = 0 + width = 25% + height = 100% + file = "panel.png" +} |