/** * Updates the texts that show the current construction step and the number of construction steps. */ public void update() { if (prot != null) { int currentStep = prot.getCurrentStepNumber(); int stepNumber = prot.getLastStepNumber(); lbSteps.setText(currentStep + " / " + stepNumber); } }
public void actionPerformed(ActionEvent e) { Object source = e.getSource(); setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR)); if (source == btFirst) { prot.firstStep(); } else if (source == btLast) { prot.lastStep(); } else if (source == btPrev) { prot.previousStep(); } else if (source == btNext) { prot.nextStep(); } else if (source == btPlay) { if (isPlaying) { player.stopAnimation(); } else { player = new AutomaticPlayer(playDelay); player.startAnimation(); } } if (prot.isVisible()) prot.scrollToConstructionStep(); setCursor(Cursor.getDefaultCursor()); }
/** Unregisters this navigation bar from its protocol. */ public void unregister() { prot.unregisterNavigationBar(this); }