@Override
	public void mouseWheelMoved(MouseWheelEvent e) {
		incrementStroke(e.getPreciseWheelRotation());
		int size = getStrokeSize();
		if (size < 0) {
			stroke = 0;
		}
		detailsPanel.getStrokeSize().setText("Stroke size: " + stroke);

	}