2011-08-14 04:09:11 +02:00
|
|
|
Panel < UIWidget
|
2011-11-01 17:41:15 +01:00
|
|
|
phantom: true
|
2011-08-14 04:09:11 +02:00
|
|
|
|
|
|
|
|
FlatPanel < Panel
|
|
|
|
|
border-image:
|
|
|
|
|
source: /core_ui/images/panel_flat.png
|
|
|
|
|
border: 4
|
|
|
|
|
|
2011-11-01 17:41:15 +01:00
|
|
|
TopPanel < Panel
|
|
|
|
|
height: 34
|
2011-11-01 19:32:48 +01:00
|
|
|
image:
|
2011-11-01 17:41:15 +01:00
|
|
|
source: /core_ui/images/top_panel.png
|
2011-11-01 19:32:48 +01:00
|
|
|
repeated: true
|
2011-08-26 20:56:56 +02:00
|
|
|
|
2011-08-14 19:45:25 +02:00
|
|
|
RoundedPanel < Panel
|
2011-08-26 20:56:56 +02:00
|
|
|
background-color: #ffffffdd
|
2011-08-14 04:09:11 +02:00
|
|
|
border-image:
|
|
|
|
|
source: /core_ui/images/panel_rounded.png
|
|
|
|
|
border: 4
|
2011-08-15 11:55:43 +02:00
|
|
|
|
2011-08-26 20:56:56 +02:00
|
|
|
|
2011-08-15 11:55:43 +02:00
|
|
|
RectPanel < UIWidget
|
2011-08-20 22:30:41 +02:00
|
|
|
image: /core_ui/images/empty_rect.png
|
