1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
import r from '@hat-open/renderer';
import * as u from '@hat-open/util';
import * as common from '../common';
import * as input from './input';
export function main(): u.VNodeChild[] {
const result = r.get('result') as common.Result | null;
if (result == null)
return [];
return [
['div.form',
['label', 'Export'],
['div',
['button', {
on: {
click: common.generate
}},
['span.fa.fa-file-pdf-o'],
' PDF'
]
],
['label', 'Font size'],
input.select(
r.get('svg', 'font_size') as string,
[['0.5', 'Small'],
['1', 'Medium'],
['1.5', 'Large']],
val => r.set(['svg', 'font_size'], val)
),
['label'],
input.checkbox(
'Show names',
r.get('svg', 'show_names') as boolean,
val => r.set(['svg', 'show_names'], val)
),
['label'],
input.checkbox(
'Show dimensions',
r.get('svg', 'show_dimensions') as boolean,
val => r.set(['svg', 'show_dimensions'], val)
)
],
Object.keys(result.params.panels).map(panelResult)
];
}
function panelResult(panel: string): u.VNode {
const isSelected = (item: string | null) => u.equals(r.get('selected'), {panel: panel, item: item});
return ['div.panel',
['div.panel-name', {
class: {
selected: isSelected(null)
},
on: {
click: () => r.set('selected', {panel: panel, item: null})
}},
panel
],
u.filter(used => used.panel == panel, r.get('result', 'used') as common.Used[]).map(used =>
['div.item', {
class: {
selected: isSelected(used.item)
},
on: {
click: () => r.set('selected', {panel: panel, item: used.item})
}},
['div.item-name', used.item],
(used.rotate ? ['span.item-rotate.fa.fa-refresh'] : []),
['div.item-x',
'X:',
String(Math.round(used.x * 100) / 100)
],
['div.item-y',
'Y:',
String(Math.round(used.y * 100) / 100)
]
])
];
}
|
