default.theme 8.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474
  1. theme mainMenu
  2. {
  3. texture = default-theme.png
  4. /////////////////////////////////////////////////////////////////////
  5. // Global theme variables //
  6. /////////////////////////////////////////////////////////////////////
  7. ${normalColor} = #ffffffff
  8. ${hoverColor} = #eeeeeeff
  9. ${activeColor} = #aaaaaaff
  10. ${focusColor} = ${normalColor}
  11. ${textColor} = #ffffffff
  12. ${font} = arial.gpb
  13. ${fontSize} = 16
  14. ${disabledOpacity} = 0.5
  15. /////////////////////////////////////////////////////////////////////
  16. // Image lists //
  17. /////////////////////////////////////////////////////////////////////
  18. imageList normalImages
  19. {
  20. color = ${normalColor}
  21. image unchecked
  22. {
  23. region = 83, 3, 34, 34
  24. }
  25. image checked
  26. {
  27. region = 83, 37, 34, 34
  28. }
  29. image unselected
  30. {
  31. region = 120, 3, 34, 34
  32. }
  33. image selected
  34. {
  35. region = 120, 37, 34, 34
  36. }
  37. image minCap
  38. {
  39. region = 3, 41, 8, 17
  40. }
  41. image track
  42. {
  43. region = 11, 41, 62, 17
  44. }
  45. image maxCap
  46. {
  47. region = 73, 41, 8, 17
  48. }
  49. image marker
  50. {
  51. region = 6, 59, 15, 27
  52. }
  53. image textCaret
  54. {
  55. region = 6, 92, 7, 22
  56. }
  57. image scrollBarTopCap
  58. {
  59. region = 65, 59, 13, 6
  60. }
  61. image verticalScrollBar
  62. {
  63. region = 65, 65, 13, 2
  64. }
  65. image scrollBarBottomCap
  66. {
  67. region = 65, 88, 13, 6
  68. }
  69. image scrollBarLeftCap
  70. {
  71. region = 25, 59, 6, 13
  72. }
  73. image horizontalScrollBar
  74. {
  75. region = 32, 59, 2, 13
  76. }
  77. image scrollBarRightCap
  78. {
  79. region = 55, 59, 6, 13
  80. }
  81. }
  82. imageList hoverImages : normalImages
  83. {
  84. color = ${hoverColor}
  85. image textCaret
  86. {
  87. color = ${normalColor}
  88. region = 6, 92, 7, 22
  89. }
  90. }
  91. imageList activeImages : normalImages
  92. {
  93. color = ${activeColor}
  94. image unchecked
  95. {
  96. region = 83, 37, 34, 34
  97. }
  98. image checked
  99. {
  100. region = 83, 37, 34, 34
  101. }
  102. image selected
  103. {
  104. region = 120, 37, 34, 34
  105. }
  106. image unselected
  107. {
  108. region = 120, 37, 34, 34
  109. }
  110. image textCaret
  111. {
  112. color = ${normalColor}
  113. region = 6, 92, 7, 22
  114. }
  115. }
  116. /////////////////////////////////////////////////////////////////////
  117. // Skin definitions //
  118. /////////////////////////////////////////////////////////////////////
  119. skin FormSkin
  120. {
  121. border
  122. {
  123. left = 8
  124. right = 8
  125. top = 8
  126. bottom = 8
  127. }
  128. region = 4, 4, 32, 32
  129. color = ${normalColor}
  130. }
  131. skin ButtonSkin
  132. {
  133. border
  134. {
  135. left = 12
  136. right = 12
  137. top = 12
  138. bottom = 12
  139. }
  140. region = 42, 3, 34, 34
  141. color = ${normalColor}
  142. }
  143. skin ButtonSkinHover : ButtonSkin
  144. {
  145. color = ${hoverColor}
  146. }
  147. skin ButtonSkinActive : ButtonSkin
  148. {
  149. color = ${activeColor}
  150. }
  151. skin ButtonSkinFocus : ButtonSkin
  152. {
  153. color = ${focusColor}
  154. }
  155. skin TextBoxSkin
  156. {
  157. border
  158. {
  159. left = 8
  160. right = 8
  161. top = 8
  162. bottom = 8
  163. }
  164. region = 159, 3, 34, 34
  165. color = ${normalColor}
  166. }
  167. skin TextBoxSkinHover : TextBoxSkin
  168. {
  169. color = ${hoverColor}
  170. }
  171. skin TextBoxSkinActive : TextBoxSkin
  172. {
  173. color = ${normalColor}
  174. }
  175. skin PanelSkin
  176. {
  177. border
  178. {
  179. left = 10
  180. right = 10
  181. top = 10
  182. bottom = 10
  183. }
  184. region = 83, 3, 34, 34
  185. color = ${normalColor}
  186. }
  187. style Form
  188. {
  189. padding
  190. {
  191. left = 2
  192. right = 2
  193. top = 2
  194. bottom = 2
  195. }
  196. stateNormal
  197. {
  198. skin = FormSkin
  199. imageList = normalImages
  200. }
  201. stateHover
  202. {
  203. imageList = hoverImages
  204. }
  205. stateActive
  206. {
  207. imageList = activeImages
  208. }
  209. stateDisabled
  210. {
  211. opacity = ${disabledOpacity}
  212. }
  213. }
  214. style Container
  215. {
  216. stateNormal
  217. {
  218. imageList = normalImages
  219. }
  220. stateHover
  221. {
  222. imageList = hoverImages
  223. }
  224. stateActive
  225. {
  226. imageList = activeImages
  227. }
  228. stateDisabled
  229. {
  230. opacity = ${disabledOpacity}
  231. }
  232. }
  233. style Label
  234. {
  235. stateNormal
  236. {
  237. font = ${font}
  238. fontSize = ${fontSize}
  239. textColor = ${textColor}
  240. textAlignment = ALIGN_VCENTER_LEFT
  241. }
  242. stateDisabled
  243. {
  244. opacity = ${disabledOpacity}
  245. }
  246. }
  247. style Button
  248. {
  249. padding
  250. {
  251. left = 8
  252. right = 8
  253. top = 4
  254. bottom = 4
  255. }
  256. stateNormal
  257. {
  258. skin = ButtonSkin
  259. font = ${font}
  260. textColor = ${textColor}
  261. fontSize = ${fontSize}
  262. textAlignment = ALIGN_VCENTER_HCENTER
  263. }
  264. stateHover
  265. {
  266. skin = ButtonSkinHover
  267. }
  268. stateActive
  269. {
  270. skin = ButtonSkinActive
  271. }
  272. stateFocus
  273. {
  274. skin = ButtonSkinFocus
  275. }
  276. stateDisabled
  277. {
  278. opacity = ${disabledOpacity}
  279. }
  280. }
  281. style CheckBox : Label
  282. {
  283. stateNormal
  284. {
  285. imageList = normalImages
  286. }
  287. stateHover
  288. {
  289. imageList = hoverImages
  290. }
  291. stateActive
  292. {
  293. imageList = activeImages
  294. }
  295. stateFocus
  296. {
  297. imageList = hoverImages
  298. }
  299. }
  300. style RadioButton : CheckBox
  301. {
  302. }
  303. style TextBox
  304. {
  305. stateNormal
  306. {
  307. skin = TextBoxSkin
  308. imageList = normalImages
  309. font = ${font}
  310. fontSize = ${fontSize}
  311. textColor = ${textColor}
  312. textAlignment = ALIGN_TOP_LEFT
  313. }
  314. stateHover
  315. {
  316. skin = TextBoxSkinHover
  317. }
  318. stateActive
  319. {
  320. skin = TextBoxSkinActive
  321. imageList = activeImages
  322. }
  323. stateFocus
  324. {
  325. skin = TextBoxSkinHover
  326. }
  327. stateDisabled
  328. {
  329. opacity = ${disabledOpacity}
  330. }
  331. }
  332. style Slider
  333. {
  334. stateNormal
  335. {
  336. imageList = normalImages
  337. font = ${font}
  338. fontSize = ${fontSize}
  339. textColor = ${textColor}
  340. textAlignment = ALIGN_TOP_LEFT
  341. }
  342. stateHover
  343. {
  344. imageList = hoverImages
  345. }
  346. stateActive
  347. {
  348. imageList = activeImages
  349. }
  350. stateFocus
  351. {
  352. imageList = hoverImages
  353. }
  354. stateDisabled
  355. {
  356. opacity = ${disabledOpacity}
  357. }
  358. }
  359. style Image
  360. {
  361. stateDisabled
  362. {
  363. opacity = ${disabledOpacity}
  364. }
  365. }
  366. // Empty style that has no skin
  367. style Empty
  368. {
  369. }
  370. // Style that can be used as a background for a container
  371. style Panel
  372. {
  373. stateNormal
  374. {
  375. skin = PanelSkin
  376. font = ${font}
  377. fontSize = ${fontSize}
  378. textColor = ${textColor}
  379. textAlignment = ALIGN_VCENTER_HCENTER
  380. imageList = normalImages
  381. }
  382. stateHover
  383. {
  384. imageList = hoverImages
  385. }
  386. stateActive
  387. {
  388. imageList = activeImages
  389. }
  390. stateDisabled
  391. {
  392. opacity = ${disabledOpacity}
  393. }
  394. }
  395. }