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