rep: better drawing of rep index

master
Rob Pilling 2023-05-26 08:01:28 +01:00
parent 9f9a33d963
commit 1fb88b5059
1 changed files with 3 additions and 2 deletions

View File

@ -21,7 +21,8 @@ const reps: Rep[] = (require("Storage")
return r as Rep;
}) as any);
const fontSzMain = 64;
const fontSzMain = 54;
const fontScaleRep = 2;
const fontSzRep = 20;
const fontSzRepDesc = 12;
const blue = "#86caf7";
@ -89,7 +90,7 @@ const layout = new L({
{
id: "repIdx",
type: "txt",
font: "6x8",
font: `6x8:${fontScaleRep}`,
label: "---",
r: Layout.Rotation.Deg90,
},