|
|
bedb8c9faf
|
Remove label font_type setting & move it to style
|
2022-05-19 21:33:48 +03:00 |
|
|
|
9e9fd738b7
|
Add ui::style::bold_font
|
2022-03-12 17:50:19 +03:00 |
|
|
|
e237959894
|
Add ui::element::style_updated & own_style_updated replacing set_style(style())
|
2022-03-11 13:11:47 +03:00 |
|
|
|
4dcac2a5ac
|
Make ui styles update elements on change
|
2022-03-10 17:36:17 +03:00 |
|
|
|
6412238e19
|
Make ui::style::inner_margin a 2D vector
|
2022-03-09 19:25:56 +03:00 |
|
|
|
615fc029e7
|
Add ui::style::scale
|
2022-02-15 11:23:14 +03:00 |
|
|
|
89db5ec3ea
|
Add bevel style properties
|
2021-10-13 23:16:03 +03:00 |
|
|
|
ef9e820e90
|
Fix ui style scaling
|
2021-08-06 16:09:08 +03:00 |
|
|
|
934512f762
|
Support scaling ui styles
|
2021-07-17 17:42:30 +03:00 |
|
|
|
6ad43ff0a5
|
Add ui::style::ref_height
|
2021-03-05 22:34:30 +03:00 |
|
|
|
e67b3f1fdc
|
Add ui slider element
|
2021-03-05 15:51:17 +03:00 |
|
|
|
fe60386ad7
|
Support button onclick offset in ui styles
|
2021-03-03 16:54:42 +03:00 |
|
|
|
0b30163ed1
|
Bugfix: ui style merging should merge fonts as well
|
2021-03-03 10:59:04 +03:00 |
|
|
|
b37d2d25c7
|
Implement cached style merging
|
2021-02-27 20:21:50 +03:00 |
|
|
|
d0a117adf4
|
Make style members optional
|
2021-02-27 19:59:12 +03:00 |
|
