Skip to content
Projects
Groups
Snippets
Help
This project
Loading...
Sign in / Register
Toggle navigation
B
branding-etersoft-ximper
Project
Project
Details
Activity
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Board
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Registry
Registry
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
Ximper Linux
branding-etersoft-ximper
Commits
791e425c
Commit
791e425c
authored
Aug 20, 2012
by
Andrey Cherepanov
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Fix grub2 console font
Conflicts: components/grub2/theme.txt
parent
0ee05804
Show whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
7 additions
and
7 deletions
+7
-7
theme.txt
components/grub2/theme.txt
+7
-7
No files found.
components/grub2/theme.txt
View file @
791e425c
...
@@ -21,12 +21,12 @@
...
@@ -21,12 +21,12 @@
# THE SOFTWARE.
# THE SOFTWARE.
#general settings
#general settings
message-font: "
DejaVu Sans Bold 14
"
message-font: "
Misc Fixed Bold 13
"
title-text: ""
title-text: ""
message-color: "#000"
message-color: "#000
000
"
message-bg-color: "#fff"
message-bg-color: "#fff
fff
"
desktop-image: "boot.png"
desktop-image: "boot.png"
terminal-font: "
DejaVu Sans Regular 12
"
terminal-font: "
Misc Fixed Regular 13
"
#help bar at the bottom
#help bar at the bottom
+ label {
+ label {
...
@@ -37,7 +37,7 @@ terminal-font: "DejaVu Sans Regular 12"
...
@@ -37,7 +37,7 @@ terminal-font: "DejaVu Sans Regular 12"
text = "To boot the selected operating system using default settings, press return. For additional settings, press E"
text = "To boot the selected operating system using default settings, press return. For additional settings, press E"
align = "center"
align = "center"
font = "DejaVu Sans Regular 10"
font = "DejaVu Sans Regular 10"
color = "#000"
color = "#000
000
"
}
}
#menu
#menu
...
@@ -46,8 +46,8 @@ terminal-font: "DejaVu Sans Regular 12"
...
@@ -46,8 +46,8 @@ terminal-font: "DejaVu Sans Regular 12"
width = 40%
width = 40%
top = 32%
top = 32%
height = 40%
height = 40%
item_font = "
DejaVu Sans Regular 14
"
item_font = "
Misc Fixed Bold 13
"
selected_item_font = "
DejaVu Sans Bold 16
"
selected_item_font = "
Misc Fixed Bold 13
"
icon_height = 24
icon_height = 24
icon_width = 24
icon_width = 24
item_height = 26
item_height = 26
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment