class
ThemeManager
js/foo_uie_jsplitter.js:5160
Documentation/ThemeManager
method
DrawThemeBackground
js/foo_uie_jsplitter.js:5165
DrawThemeBackground(gr, x, y, w, h, clip_x, clip_y, clip_w, clip_h)Parameters
| Name | Type | Description |
|---|---|---|
gr | GdiGraphics | |
x | number | |
y | number | |
w | number | |
h | number | |
clip_x = 0optional | number | |
clip_y = 0optional | number | |
clip_w = 0optional | number | |
clip_h = 0optional | number |
method
IsThemePartDefined
js/foo_uie_jsplitter.js:5178
IsThemePartDefined(partid)Parameters
| Name | Type | Description |
|---|---|---|
partid | number |
Returns
booleanmethod
SetPartAndStateID
js/foo_uie_jsplitter.js:5184
SetPartAndStateID(partid, stateid)Parameters
| Name | Type | Description |
|---|---|---|
partid | number | |
stateid = 0optional | number |