});
viewContext.addViewContextChangeListener(ToolWindowManagerDescriptor.class, this);
}
public void contextChange(ViewContextChangeEvent evt) {
ToolWindowManagerDescriptor managerDescriptor = (ToolWindowManagerDescriptor) evt.getNewValue();
numberingEnabled.setSelected(managerDescriptor.isNumberingEnabled());
previewEnabled.setSelected(managerDescriptor.isPreviewEnabled());
showUnavailableTools.setSelected(managerDescriptor.isShowUnavailableTools());
pushAwayMode.setSelectedItem(managerDescriptor.getPushAwayMode());
leftDividerSize.setValue(managerDescriptor.getDividerSize(ToolWindowAnchor.LEFT));
rightDividerSize.setValue(managerDescriptor.getDividerSize(ToolWindowAnchor.RIGHT));
topDividerSize.setValue(managerDescriptor.getDividerSize(ToolWindowAnchor.TOP));
bottomDividerSize.setValue(managerDescriptor.getDividerSize(ToolWindowAnchor.BOTTOM));
leftAggregateMode.setSelected(managerDescriptor.isAggregateMode(ToolWindowAnchor.LEFT));
rightAggregateMode.setSelected(managerDescriptor.isAggregateMode(ToolWindowAnchor.RIGHT));
topAggregateMode.setSelected(managerDescriptor.isAggregateMode(ToolWindowAnchor.TOP));
bottomAggregateMode.setSelected(managerDescriptor.isAggregateMode(ToolWindowAnchor.BOTTOM));
}