previewEnabled.setAction(new DynamicAction(ToolWindowManagerDescriptor.class,
"previewEnabled",
new ViewContextSource(viewContext, ToolWindowManagerDescriptor.class),
new ChecBoxSelectionSource(previewEnabled)));
panel.addEntry(2, 0, "DividerSize (LEFT) : ",
leftDividerSize = new JSpinner(new SpinnerNumberModel(5, 0, 20, 1)));
leftDividerSize.addChangeListener(
new ChangeListenerAction(ToolWindowManagerDescriptor.class,
"setDividerSize",
new ViewContextSource(viewContext, ToolWindowManagerDescriptor.class),