()
| 287 | public void show() { |
| 288 | // System.out.println(" showing because show() called "); |
| 289 | |
| 290 | Optional<PresentationMode> o = find(PresentationMode._presentationMode, both()).findFirst(); |
| 291 | if (o.isPresent() && o.get().isPresent()) return; |
| 292 | |
| 293 | browser_.properties.put(Box.hidden, false); |
| 294 | browser_.setFocus(true); |
| 295 | Drawing.dirty(browser_); |
| 296 | } |
| 297 | |
| 298 | @HiddenInAutocomplete |
| 299 | public void hide() { |
no test coverage detected