328329330331332333334335336337338
Region oldRegion = region; region = new Region(); region.add(getPolygon(false)); hoverShell.setRegion(region); if (oldRegion != null) { oldRegion.dispose(); } } }
375376377378379380381382383384385
438439440441442443444445446447448
shell.setRegion(region); shell.addListener(SWT.Dispose, new Listener() { public void handleEvent(Event event) { region.dispose(); } }); final int[] outline = createOutline(shellSize, anchor, false); shell.addListener(SWT.Paint, new Listener()
14691470147114721473147414751476147714781479
} imageData = result.get(); } else { imageData = getImageData(control, region); } region.dispose(); if(imageData == null) { new Socket(hostAddress, port).close(); return null; } sendImageData(hostAddress, port, imageData, rectangles);