216 lines
4.0 KiB
Plaintext
216 lines
4.0 KiB
Plaintext
MiniWindow < UIMiniWindow
|
|
font: verdana-11px-antialised
|
|
icon-rect: 4 2 13 13
|
|
icon-clip: 0 0 20 20
|
|
color: #9F9F9F
|
|
width: 190
|
|
height: 200
|
|
text-offset: 24 2
|
|
text-align: topLeft
|
|
image-source: /images/ui/miniwindow
|
|
image-border: 4
|
|
image-border-top: 20
|
|
image-border-bottom: 4
|
|
focusable: false
|
|
&minimizedHeight: 20
|
|
|
|
$on:
|
|
image-border-bottom: 2
|
|
|
|
UIWidget
|
|
id: miniwindowTopBar
|
|
anchors.top: parent.top
|
|
anchors.right: parent.right
|
|
anchors.left: parent.left
|
|
margin-right: 3
|
|
margin-left: 3
|
|
margin-top: 3
|
|
size: 258 14
|
|
phantom: true
|
|
|
|
UIButton
|
|
id: closeButton
|
|
anchors.top: parent.top
|
|
anchors.right: parent.right
|
|
margin-top: 2
|
|
margin-right: 4
|
|
size: 14 14
|
|
image-source: /images/ui/miniwindow_buttons
|
|
image-clip: 28 0 14 14
|
|
|
|
$hover:
|
|
image-clip: 28 14 14 14
|
|
|
|
$pressed:
|
|
image-clip: 28 28 14 14
|
|
|
|
UIButton
|
|
id: minimizeButton
|
|
anchors.top: closeButton.top
|
|
anchors.right: closeButton.left
|
|
margin-right: 3
|
|
size: 14 14
|
|
image-source: /images/ui/miniwindow_buttons
|
|
image-clip: 0 0 14 14
|
|
|
|
$hover:
|
|
image-clip: 0 14 14 14
|
|
|
|
$pressed:
|
|
image-clip: 0 28 14 14
|
|
|
|
$on:
|
|
image-clip: 14 0 14 14
|
|
|
|
$on hover:
|
|
image-clip: 14 14 14 14
|
|
|
|
$on pressed:
|
|
image-clip: 14 28 14 14
|
|
|
|
UIButton
|
|
id: lockButton
|
|
anchors.top: minimizeButton.top
|
|
anchors.right: minimizeButton.left
|
|
margin-right: 2
|
|
size: 14 14
|
|
image-source: /images/ui/miniwindow_buttons
|
|
image-clip: 98 0 14 14
|
|
|
|
$hover:
|
|
image-clip: 98 14 14 14
|
|
|
|
$pressed:
|
|
image-clip: 98 28 14 14
|
|
|
|
$on:
|
|
image-clip: 84 0 14 14
|
|
|
|
$on hover:
|
|
image-clip: 84 14 14 14
|
|
|
|
$on pressed:
|
|
image-clip: 84 28 14 14
|
|
|
|
VerticalScrollBar
|
|
id: miniwindowScrollBar
|
|
anchors.top: parent.top
|
|
anchors.bottom: parent.bottom
|
|
anchors.right: parent.right
|
|
step: 14
|
|
margin-top: 18
|
|
margin-right: 4
|
|
margin-bottom: 3
|
|
pixels-scroll: true
|
|
|
|
$!on:
|
|
width: 0
|
|
|
|
ResizeBorder
|
|
id: bottomResizeBorder
|
|
anchors.bottom: parent.bottom
|
|
anchors.left: parent.left
|
|
anchors.right: parent.right
|
|
height: 3
|
|
minimum: 48
|
|
margin-left: 3
|
|
margin-right: 3
|
|
background: #ffffff88
|
|
|
|
MiniWindowContents < ScrollablePanel
|
|
id: contentsPanel
|
|
anchors.fill: parent
|
|
anchors.right: miniwindowScrollBar.left
|
|
margin-left: 3
|
|
margin-bottom: 3
|
|
margin-top: 18
|
|
margin-right: 1
|
|
vertical-scrollbar: miniwindowScrollBar
|
|
|
|
HeadlessMiniWindow < UIMiniWindow
|
|
font: verdana-11px-antialised
|
|
icon-rect: 4 2 13 12
|
|
icon-clip: 0 0 20 20
|
|
color: #8F8F8F
|
|
width: 190
|
|
height: 200
|
|
focusable: false
|
|
&minimizedHeight: 20
|
|
|
|
$on:
|
|
image-border-bottom: 2
|
|
|
|
$!on:
|
|
text:
|
|
icon:
|
|
|
|
UIButton
|
|
id: minimizeButton
|
|
anchors.top: parent.top
|
|
anchors.right: parent.right
|
|
margin-right: 10
|
|
margin-top: 1
|
|
size: 14 14
|
|
image-source: /images/ui/miniwindow_buttons
|
|
image-clip: 0 0 14 14
|
|
|
|
$hover:
|
|
image-clip: 0 14 14 14
|
|
|
|
$pressed:
|
|
image-clip: 0 28 14 14
|
|
|
|
$on:
|
|
image-clip: 14 0 14 14
|
|
|
|
$on hover:
|
|
image-clip: 14 14 14 14
|
|
|
|
$on pressed:
|
|
image-clip: 14 28 14 14
|
|
|
|
$!on:
|
|
size: 0 0
|
|
|
|
UIWidget
|
|
id: miniwindowTopBar
|
|
anchors.top: parent.top
|
|
anchors.right: parent.right
|
|
anchors.left: parent.left
|
|
margin-right: 3
|
|
margin-left: 3
|
|
margin-top: 3
|
|
size: 258 14
|
|
phantom: true
|
|
|
|
UIButton
|
|
id: closeButton
|
|
anchors.top: parent.top
|
|
anchors.right: parent.right
|
|
hidden: true
|
|
|
|
VerticalScrollBar
|
|
id: miniwindowScrollBar
|
|
anchors.top: parent.top
|
|
anchors.bottom: parent.bottom
|
|
anchors.right: parent.right
|
|
step: 14
|
|
margin-top: 16
|
|
margin-right: 4
|
|
margin-bottom: 3
|
|
pixels-scroll: true
|
|
|
|
$!on:
|
|
width: 0
|
|
|
|
ResizeBorder
|
|
id: bottomResizeBorder
|
|
anchors.bottom: parent.bottom
|
|
anchors.left: parent.left
|
|
anchors.right: parent.right
|
|
height: 3
|
|
minimum: 48
|
|
margin-left: 3
|
|
margin-right: 3
|
|
background: #ffffff88
|