No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

miniwindow.otui 1.8KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293
  1. MiniWindow < UIMiniWindow
  2. font: verdana-11px-antialised
  3. icon-rect: 4 4 16 16
  4. width: 192
  5. height: 200
  6. text-offset: 24 5
  7. text-align: topLeft
  8. image-source: /images/miniwindow.png
  9. image-border: 4
  10. image-border-top: 23
  11. image-border-bottom: 4
  12. focusable: false
  13. &minimizedHeight: 24
  14. $on:
  15. image-border-bottom: 2
  16. UIButton
  17. id: closeButton
  18. anchors.top: parent.top
  19. anchors.right: parent.right
  20. margin-top: 5
  21. margin-right: 5
  22. size: 14 14
  23. image-source: /images/miniwindowbuttons.png
  24. image-clip: 28 0 14 14
  25. $hover:
  26. image-clip: 28 14 14 14
  27. $pressed:
  28. image-clip: 28 28 14 14
  29. UIButton
  30. id: minimizeButton
  31. anchors.top: closeButton.top
  32. anchors.right: closeButton.left
  33. margin-right: 3
  34. size: 14 14
  35. image-source: /images/miniwindowbuttons.png
  36. image-clip: 0 0 14 14
  37. $hover:
  38. image-clip: 0 14 14 14
  39. $pressed:
  40. image-clip: 0 28 14 14
  41. $on:
  42. image-clip: 14 0 14 14
  43. $on hover:
  44. image-clip: 14 14 14 14
  45. $on pressed:
  46. image-clip: 14 28 14 14
  47. VerticalScrollBar
  48. id: miniwindowScrollBar
  49. anchors.top: parent.top
  50. anchors.bottom: parent.bottom
  51. anchors.right: parent.right
  52. step: 14
  53. margin-top: 22
  54. margin-right: 2
  55. margin-bottom: 3
  56. pixels-scroll: true
  57. $!on:
  58. width: 0
  59. ResizeBorder
  60. id: bottomResizeBorder
  61. anchors.bottom: parent.bottom
  62. anchors.left: parent.left
  63. anchors.right: parent.right
  64. height: 3
  65. minimum: 64
  66. background: #ffffff88
  67. MiniWindowContents < ScrollablePanel
  68. id: contentsPanel
  69. anchors.fill: parent
  70. anchors.right: miniwindowScrollBar.left
  71. margin-right: -1
  72. margin-top: 21
  73. padding: 4
  74. padding-top: 2
  75. vertical-scrollbar: miniwindowScrollBar
  76. BorderlessGameWindow < UIWindow
  77. focusable: false
  78. margin: 2