// arranges the tool bar
protected void arrangeToolBar() {
toolBar.setSize(new Dimension(TOOLBAR_WIDTH, TOOLBAR_HEIGHT));
toolBar.add(loadButton);
toolBar.add(saveButton);
toolBar.addSeparator(separatorDimension);
toolBar.add(singleStepButton);
toolBar.add(ffwdButton);
toolBar.add(stopButton);
toolBar.add(rewindButton);
toolBar.addSeparator(separatorDimension);
toolBar.add(fullTranslationButton);
}
