haxeui-core push: allow tabview to use a margin for tabbar size #1936
Job | Run time |
---|---|
16s | |
15s | |
27s | |
11s | |
12s | |
20s | |
20s | |
21s | |
21s | |
20s | |
27s | |
28s | |
29s | |
37s | |
29s | |
5m 33s |
Job | Run time |
---|---|
16s | |
15s | |
27s | |
11s | |
12s | |
20s | |
20s | |
21s | |
21s | |
20s | |
27s | |
28s | |
29s | |
37s | |
29s | |
5m 33s |