()
| 308 | return tick != 5; |
| 309 | }); |
| 310 | browser_.setFocus(false); |
| 311 | Drawing.dirty(browser_); |
| 312 | } |
| 313 | |
| 314 | @HiddenInAutocomplete |
| 315 | public void runCommands() { |
| 316 | browser_.executeJavaScript("goCommands()"); |
| 317 | show(); |
| 318 | } |
| 319 | |
| 320 | @HiddenInAutocomplete |
| 321 | public void center() { |
| 322 | FieldBoxWindow window = this.find(Boxes.window, both()) |
| 323 | .findFirst() |
| 324 | .get(); |
| 325 | Rect f = browser_.properties.get(Box.frame); |
| 326 | f.x = (int) ((window.getWidth() - f.w) / 2); |
| 327 | f.y = (int) ((window.getHeight() - f.h) / 2); |
no test coverage detected