- 07 Jun, 2021 3 commits
-
-
Harald Sitter authored
to ensure reuse compliance moving forward
-
Harald Sitter authored
GPL2+ with font exception. the pf2 files are derived from ubuntu's unifont through the mkfont.sh script
-
Alexander Lohnau authored
-
- 04 Aug, 2016 2 commits
-
-
Harald Sitter authored
-
Harald Sitter authored
-
- 03 Aug, 2016 1 commit
-
-
Harald Sitter authored
-
- 26 Jul, 2016 1 commit
-
-
Harald Sitter authored
- all fonts changed to unifont - terminal font no longer overridden - shortcuts are now a vbox - color profile changed to b/w - highlight is now boldified rather than backgrounded this currently isn't compatible with heights < 768 due to bad maths on my part (actually just need to recalculate good base heights to make sure the shortcuts vbox reduces the overall height of the menu itself
-
- 06 Mar, 2016 1 commit
-
-
Daniel Vrátil authored
terminal-color and terminal-bg-color theme options don't exist in GRUB2 which prevents the theme from being loaded. REVIEW: 127294
-
- 19 Feb, 2016 3 commits
-
-
Harald Sitter authored
-
Harald Sitter authored
-
Harald Sitter authored
-