if (doThumb) {
split = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT);
split.addPropertyChangeListener(JSplitPane.DIVIDER_LOCATION_PROPERTY,
thumbAction);
split.setOneTouchExpandable(true);
thumbs = new ThumbPanel(null);
thumbscroll = new JScrollPane(thumbs,
JScrollPane.VERTICAL_SCROLLBAR_ALWAYS,
JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
split.setLeftComponent(thumbscroll);
split.setRightComponent(page);