| 208 | ) |
| 209 | // Rect vb = new Rect(viewBounds.x+viewBounds.w/2-maxw/2, viewBounds.y+viewBounds.h/2-maxh/2, maxw, maxh); |
| 210 | |
| 211 | // viewBounds.x+=100; |
| 212 | // viewBounds.y+=100; |
| 213 | // viewBounds.w-=200; |
| 214 | // viewBounds.h-=200; |
| 215 | browser!!.properties.put(frame, vb) |
| 216 | center() |
| 217 | visible = true |
| 218 | browser!!.properties.put(hidden, false) |
| 219 | browser!!.focus = true |
| 220 | Drawing.dirty(browser) |
| 221 | } |
| 222 | |
| 223 | fun hide() { |
| 224 | Log.log("selection") { "hidding now" } |
| 225 | visible = false |
| 226 | tick = 0 |
| 227 | RunLoop.main.loop |
| 228 | .attach { x: Int -> |
| 229 | if (tick == 5) { |
| 230 | browser!!.focus = false |
| 231 | browser!!.properties.put(hidden, true) |
| 232 | browser!!.properties.put(Mouse.isSelected, false) |
| 233 | Log.log("selection") { "hidding now, again" } |
| 234 | Drawing.dirty(this) |
| 235 | } |