new SpinnerValueSource(topDividerSize)
)
)
);
panel.addEntry(5, 0, "DividerSize (BOTTOM) : ",
bottomDividerSize = new JSpinner(new SpinnerNumberModel(5, 0, 20, 1)));
bottomDividerSize.addChangeListener(
new ChangeListenerAction(ToolWindowManagerDescriptor.class,
"setDividerSize",
new ViewContextSource(viewContext, ToolWindowManagerDescriptor.class),