public void setLineScrollSplitter(String what) {
		lock();
		lineScrollSplitterString = what;
		lineScrollSplitter = new ArrayList<Integer>();
		if (what != null) {
			String [] parts = what.split(" ");
			for(String cur : parts)
				lineScrollSplitter.add(Integer.valueOf(cur));
		}
		unlock();
	}