|
0
|
1 widget Input {
|
|
|
2 shape = Rectangle;
|
|
|
3 layout = Bin;
|
|
|
4 layout = {
|
|
|
5 padding = 3 3;
|
|
|
6 }
|
|
|
7
|
|
|
8 style.normal = {
|
|
|
9 background = solid(rgba(.3, .3, .3, 1));
|
|
|
10 border = 1 black;
|
|
|
11 }
|
|
|
12
|
|
|
13 [hexpand vexpand hfill vfill] new InputArea area {
|
|
|
14 style.normal = {
|
|
|
15 textInput = {
|
|
|
16 caretColor = white;
|
|
|
17 }
|
|
|
18 }
|
|
|
19 }
|
|
|
20
|
|
|
21 text = prop(area.text);
|
|
|
22 font = prop(area.font);
|
|
|
23 fontFace = prop(area.fontFace);
|
|
|
24 fontSize = prop(area.fontSize);
|
|
|
25 hasFocus = prop(area.hasFocus);
|
|
|
26 inputArea = sub(area);
|
|
|
27 }
|
