private PageSpinner createSpinner() {
			PageSpinner s = new PageSpinner();
			s.setPage(page);
			if (uid != null) {
				s.setUid(uid);
				uid = null;
			}
			connect(s);
			s.setMinimum(minimum);
			s.setMaximum(maximum);
			if (stepsize != 0) {
				s.setStepSize(stepsize);
				stepsize = 0;
			}
			s.setValue(value);
			s.putClientProperty("value", value);
			s.setName(changeName);
			s.setChangable(page.isEditable());
			if (titleText != null) {
				s.setLabel(titleText);
				titleText = null;
			}
			else {
				s.setLabel(changeName);
			}
			if (toolTip != null) {
				s.setToolTipText(toolTip);
				toolTip = null;
			}
			s.autoSize();
			if (disabledAtRun) {
				s.setDisabledAtRun(disabledAtRun);
				disabledAtRun = false;
			}
			if (disabledAtScript) {
				s.setDisabledAtScript(disabledAtScript);
				disabledAtScript = false;
			}
			if (script != null) {
				s.setScript(script);
				script = null;
			}
			changeName = null;
			return s;
		}