2012-08-07 01:13:33 +02:00
|
|
|
MarketTabBar < TabBar
|
|
|
|
MarketTabBarPanel < TabBarPanel
|
|
|
|
MarketTabBarButton < TabBarButton
|
2012-07-19 20:54:24 +02:00
|
|
|
size: 20 25
|
2012-07-27 05:53:42 +02:00
|
|
|
font: verdana-11px-rounded
|
|
|
|
text-offset: 0 2
|
2012-07-19 20:54:24 +02:00
|
|
|
|
2012-08-14 17:43:48 +02:00
|
|
|
$!first:
|
|
|
|
anchors.left: prev.right
|
|
|
|
margin-left: 0
|
|
|
|
|
2012-07-19 20:54:24 +02:00
|
|
|
$hover !checked:
|
|
|
|
image-clip: 0 20 20 20
|
|
|
|
color: white
|
|
|
|
|
|
|
|
$disabled:
|
|
|
|
image-color: #ffffff66
|
|
|
|
icon-color: #888888
|
|
|
|
|
|
|
|
$checked:
|
|
|
|
image-clip: 0 20 20 20
|
|
|
|
color: #ffffff
|
|
|
|
|
|
|
|
$on !checked:
|
|
|
|
color: #f55e5e
|
2014-02-06 14:04:22 +01:00
|
|
|
|
|
|
|
MarketRightTabBar < TabBar
|
|
|
|
MarketRightTabBarPanel < TabBarPanel
|
|
|
|
// TODO: inherit style from TabBarButton and adjust it
|
|
|
|
// anchors.left: none did not seem to work for me
|
|
|
|
MarketRightTabBarButton < UIButton
|
|
|
|
size: 20 25
|
|
|
|
font: verdana-11px-rounded
|
|
|
|
text-offset: 0 2
|
|
|
|
image-source: /images/ui/tabbutton_square
|
|
|
|
image-color: white
|
|
|
|
image-clip: 0 0 20 20
|
|
|
|
image-border: 3
|
|
|
|
icon-color: white
|
|
|
|
color: #aaaaaa
|
|
|
|
anchors.top: parent.top
|
|
|
|
padding: 5
|
|
|
|
|
|
|
|
anchors.right: prev.left
|
|
|
|
|
|
|
|
$first:
|
|
|
|
anchors.right: parent.right
|
|
|
|
|
|
|
|
$hover !checked:
|
|
|
|
image-clip: 0 20 20 20
|
|
|
|
color: white
|
|
|
|
|
|
|
|
$disabled:
|
|
|
|
image-color: #ffffff66
|
|
|
|
icon-color: #888888
|
|
|
|
|
|
|
|
$checked:
|
|
|
|
image-clip: 0 20 20 20
|
|
|
|
color: #ffffff
|
|
|
|
|
|
|
|
$on !checked:
|
|
|
|
color: #f55e5e
|