- // FIXME update these
- // box properties can not be trapped
- static final String[] props = new String[] {
- "shrink", "hshrink", "vshrink", "x", "y", "width", "height", "cols", "rows",
- "colspan", "rowspan", "align", "visible", "packed", "globalx", "globaly",
- "minwidth", "maxwidth", "minheight", "maxheight", "indexof", "thisbox", "clip",
- "numchildren", "redirect", "cursor", "mouse"
- };
-
- // FIXME update these
- // events can have write traps, but not read traps
- static final String[] events = new String[] {
- "Press1", "Press2", "Press3",
- "Release1", "Release2", "Release3",
- "Click1", "Click2", "Click3",
- "DoubleClick1", "DoubleClick2", "DoubleClick3",
- "Enter", "Leave", "Move", "ChildChange",
- "KeyPressed", "KeyReleased", "SizeChange",
- "Focused", "Maximized", "Minimized", "Close"
- };