public void run() { try { if (dispatchZoom) updateManager.dispatchSVGZoomEvent(); if (dispatchScroll) updateManager.dispatchSVGScrollEvent(); } catch (InterruptedException ie) { } }}); }
public void run() { try { if (dispatchZoom) updateManager.dispatchSVGZoomEvent(); if (dispatchScroll) updateManager.dispatchSVGScrollEvent(); } catch (InterruptedException ie) { } }}); }
public void run() { try { if (dispatchZoom) updateManager.dispatchSVGZoomEvent(); if (dispatchScroll) updateManager.dispatchSVGScrollEvent(); } catch (InterruptedException ie) { } }}); }