2012-01-02 21:46:40 +01:00
|
|
|
PopupMenuButton < UIButton
|
|
|
|
height: 18
|
2012-12-28 17:15:57 +01:00
|
|
|
margin-left: 5
|
|
|
|
margin-right: 5
|
|
|
|
margin-top: 1
|
|
|
|
margin-bottom: 1
|
|
|
|
size: 0 21
|
|
|
|
text-offset: 0 0
|
2012-01-11 13:06:50 +01:00
|
|
|
font: verdana-11px-antialised
|
2012-12-28 17:15:57 +01:00
|
|
|
|
2012-12-29 18:41:14 +01:00
|
|
|
image-source: /images/menubutton.png
|
2012-12-28 17:15:57 +01:00
|
|
|
image-color: white
|
|
|
|
image-clip: 0 0 20 20
|
|
|
|
image-border: 2
|
2012-01-11 13:06:50 +01:00
|
|
|
|
|
|
|
color: #aaaaaa
|
2012-01-10 23:13:40 +01:00
|
|
|
background-color: alpha
|
2012-01-02 21:46:40 +01:00
|
|
|
|
2012-02-06 02:44:47 +01:00
|
|
|
$hover !disabled:
|
2012-01-02 21:46:40 +01:00
|
|
|
color: #ffffff
|
|
|
|
background-color: #ffffff44
|
2012-12-28 17:15:57 +01:00
|
|
|
image-clip: 0 40 20 20
|
2012-01-02 21:46:40 +01:00
|
|
|
|
|
|
|
$disabled:
|
|
|
|
color: #555555
|
|
|
|
|
|
|
|
PopupMenuSeparator < UIWidget
|
|
|
|
margin-left: 2
|
|
|
|
margin-right: 2
|
2012-12-28 17:15:57 +01:00
|
|
|
margin-bottom: 1
|
2012-06-20 09:10:12 +02:00
|
|
|
image-source: /images/menubox.png
|
2012-01-10 23:13:40 +01:00
|
|
|
image-border-left: 1
|
|
|
|
image-border-right: 1
|
|
|
|
image-clip: 0 0 32 2
|
2012-01-05 19:02:27 +01:00
|
|
|
height: 2
|
2012-01-02 21:46:40 +01:00
|
|
|
phantom: true
|
|
|
|
|
|
|
|
PopupMenu < UIPopupMenu
|
2012-01-04 12:24:29 +01:00
|
|
|
width: 50
|
2012-06-20 09:10:12 +02:00
|
|
|
image-source: /images/menubox.png
|
2012-01-11 13:06:50 +01:00
|
|
|
image-border: 3
|
|
|
|
padding-top: 3
|
2012-02-06 02:44:47 +01:00
|
|
|
padding-bottom: 3
|