Unify the naming for the DejaVu Sans font

"DejaVu Regular" isn't a widely-used name. Regenerated pf2 file from ttf file present.
2020-03-19 16:12:10 +01:00 · 2020-03-19 16:12:10 +01:00 · abfd62d247
commit abfd62d247
parent 19125b85b9
2 changed files with 2 additions and 2 deletions
--- a/common/dejavu_sans_32.pf2
+++ b/common/dejavu_sans_32.pf2
--- a/config/theme-4k.txt
+++ b/config/theme-4k.txt
@ -19,7 +19,7 @@ terminal-border: "0"
  top = 30%
  width = 45%
  height = 60%
-  item_font = "DejaVu Regular 32"
+  item_font = "DejaVu Sans Regular 32"
  item_color = "#cccccc"
  selected_item_color = "#ffffff"
  icon_width = 64
@ -40,5 +40,5 @@ terminal-border: "0"
  id = "__timeout__"
  text = "Booting in %d seconds"
  color = "#cccccc"
-  font = "DejaVu Regular 32"
+  font = "DejaVu Sans Regular 32"
 }