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
|
2012-01-10 23:13:40 +01:00
|
|
|
image-source: /core_styles/images/panel_flat.png
|
|
|
|
|
image-border: 1
|
2011-08-14 04:09:11 +02:00
|
|
|
|
2011-11-01 17:41:15 +01:00
|
|
|
TopPanel < Panel
|
2011-11-03 10:59:11 +01:00
|
|
|
height: 36
|
2012-01-10 23:13:40 +01:00
|
|
|
image-source: /core_styles/images/top_panel.png
|
|
|
|
|
image-repeated: true
|
2011-08-26 20:56:56 +02:00
|
|
|
|
2011-11-03 10:59:11 +01:00
|
|
|
InterfacePanel < Panel
|
|
|
|
|
focusable: false
|
2012-01-10 23:13:40 +01:00
|
|
|
image-source: /core_styles/images/interface_panel.png
|
|
|
|
|
image-border: 4
|
2011-08-15 11:55:43 +02:00
|
|
|
|
2011-11-03 13:17:10 +01:00
|
|
|
InterfacePanel2 < Panel
|
2012-01-10 23:13:40 +01:00
|
|
|
image-source: /core_styles/images/interface_panel2.png
|
|
|
|
|
image-border: 4
|
2011-11-03 13:17:10 +01:00
|
|
|
|
2012-01-11 13:06:50 +01:00
|
|
|
Map < UIMap
|
2012-01-09 21:54:37 +01:00
|
|
|
padding: 4
|
2012-01-10 23:13:40 +01:00
|
|
|
image-source: /core_styles/images/map_panel.png
|
|
|
|
|
image-border: 4
|
