rep: alignment tweaks

master
Rob Pilling 2023-05-20 08:53:16 +01:00
parent 8036509b18
commit fabe88034f
1 changed files with 4 additions and 2 deletions

View File

@ -54,19 +54,21 @@ const reps: Rep[] = [
const fontSzMain = 64; const fontSzMain = 64;
const fontSzRep = 20; const fontSzRep = 20;
// FIXME: `Layout_` name
const repLayout = (id: string): (Layout_.Hierarchy & {type:"txt"})[] => [ const repLayout = (id: string): (Layout_.Hierarchy & {type:"txt"})[] => [
{ {
id: `${id}_name`, id: `${id}_name`,
type: "txt", type: "txt",
font: `Vector:${fontSzRep}`, font: `Vector:${fontSzRep}`,
label: "Name PH", label: "Name PH",
pad: 4, //pad: 4,
fillx: 1,
}, { }, {
id: `${id}_dur`, id: `${id}_dur`,
type: "txt", type: "txt",
font: `Vector:${fontSzRep}`, font: `Vector:${fontSzRep}`,
label: "DURATION", label: "DURATION",
pad: 4, halign: Layout_.Align.Right,
} }
]; ];