panel.add(dockLength = new JSpinner(new SpinnerNumberModel(100, 100, 400, 10)), "3,7,FULL,FULL");
dockLength.addChangeListener(
new ChangeListenerAction(DockedTypeDescriptor.class,
"dockLength",
new ViewContextSource(viewContext, DockedTypeDescriptor.class),
new SpinnerValueSource(dockLength))
);
// Right
panel.add(new JLabel("previewEnabled : "), "5,1,r,c");
panel.add(previewEnabled = new JCheckBox(), "7,1,FULL,FULL");
previewEnabled.setAction(new DynamicAction(DockedTypeDescriptor.class,
"previewEnabled",
new ViewContextSource(viewContext, DockedTypeDescriptor.class),
new ChecBoxSelectionSource(previewEnabled)));
panel.add(new JLabel("previewDelay : "), "5,3,r,c");
panel.add(previewDelay = new JSpinner(new SpinnerNumberModel(0, 0, 5000, 500)), "7,3,FULL,FULL");
previewDelay.addChangeListener(
new ChangeListenerAction(DockedTypeDescriptor.class,
"previewDelay",
new ViewContextSource(viewContext, DockedTypeDescriptor.class),
new SpinnerValueSource(previewDelay))
);
panel.add(new JLabel("previewTransparentRatio : "), "5,5,r,c");
panel.add(previewTransparentRatio = new JSpinner(new SpinnerNumberModel(0.0, 0.0, 1.0, 0.05)), "7,5,FULL,FULL");
previewTransparentRatio.addChangeListener(
new ChangeListenerAction(DockedTypeDescriptor.class,
"previewTransparentRatio",
new ViewContextSource(viewContext, DockedTypeDescriptor.class),
new ToFloatSource(new SpinnerValueSource(previewTransparentRatio)))
);
panel.addEntry(3, 1, "animating : ", animating = new JCheckBox());
animating.setSelected(true);
animating.setAction(new DynamicAction(ToolWindowTypeDescriptor.class,