150151152153154155156157158159160
Timer t = getTimer(); if (t != null) { if (check.isSelected()) { t.restart(); } else { t.stop(); } } } }); timerButton.setToolTipText("<HTML><BODY>Reload the map data from the original source at specified intervals.</BODY></HTML>");
539540541542543544545546547548549
if (getModel().isArmed() && !timer.isRunning()) { timer.restart(); } else if (!getModel().isArmed() && timer.isRunning()) { timer.stop(); } } }); setFocusable(false); setBorder(null);
4950515253545556575859
Point location = component.getLocation(); int currentX = location.x; int currentY = location.y; if (currentX == x && currentY == y) { timer.stop(); } else if (numSteps <= 1) { component.setLocation(x, y); done(); } else { int diffX = x - currentX;
184185186187188189190191192193194
final Timer timer = new Timer(1500, null); final ActionListener listener = new ActionListener() { @Override public void actionPerformed(ActionEvent e) { DownloadProgressWindow.this.dispose(); timer.stop(); } }; timer.addActionListener(listener); timer.start();
136137138139140141142143144145146
while (!stop) { Thread.sleep(200); } ageTimer.stop(); ec.stopAllThreads(); if (lastDetailed == null) { System.out.println(messages.getString("cli.noBuild")); } else { if (onlyOutputFinal) {
7273747576777879808182
} catch (InterruptedException iex) { } t.stop(); double S = 0; long d; StringBuffer series = new StringBuffer();
121122123124125126127128129130131
/** Disarms the timer and removes the <code>ChangeListener</code> */ public void uninstallUI(JComponent c) { super.uninstallUI(c); Timer timer = (Timer) c.getClientProperty(REPAINTER_KEY); timer.stop(); c.repaint(); } static class RepaintListener implements ActionListener { WeakReference reference;
113114115116117118119120121122123
{ public void actionPerformed(ActionEvent e) { if (isExpanded(lastTreePath)) collapsePath(lastTreePath); else expandPath(lastTreePath); timer.stop(); } }); public void mousePressed(MouseEvent e) {
157158159160161162163164165166167
lastTreePath = selPath; //check if double or single mouseclick, needed // because double click= 2 single clicks if (timer.isRunning()) { timer.stop(); sendChat(jidStatus); } else { timer.restart();
8586878889909192939495
windowsInstallerExec.install(); windowsInstallerExec.dispose(); t.stop(); } else if (InstallationWizard.CURRENT_OS == InstallationWizard.OS_UNIX) { UnixInstallerExec unixInstallerExec = new UnixInstallerExec( installationWizard.getJavaHome(),