void (int x, int y, int w, int h) { super.reshape(x, y, w, h); final long timeMs = System.currentTimeMillis(); if (myAlarm != null) { if (myAlarm.isEmpty()) myScheduleResizeMs.set(timeMs); myAlarm.cancelAllRequests(); final double scale = myScale.getInverted(); final int scaledW = CEIL.round(w * scale); final int scaledH = CEIL.round(h * scale); if (timeMs - myScheduleResizeMs.get() > RESIZE_DELAY_MS) myBrowser.wasResized(scaledW, scaledH); else myAlarm.addRequest(() -> { myBrowser.wasResized(scaledW, scaledH); }, RESIZE_DELAY_MS); } }