public void saveToWorkspace(WbWorkspace w, int index) {
String prefix = getWorkspacePrefix(index);
if (initialized) {
storeSettings(w.getSettings(), prefix);
findPanel.saveSettings(w.getSettings(), prefix);
} else if (workspaceProperties != null) {
workspaceProperties.copyTo(w.getSettings(), prefix);
}
}
private void _initGui() {
if (initialized) return;
Reloadable sourceReload =
() -> {
if (dbConnection == null) return;
if (dbConnection.isBusy()) return;
retrieveCurrentTrigger();
};
this.source = new DbObjectSourcePanel(parentWindow, sourceReload);
if (DbExplorerSettings.allowSourceEditing()) {
source.allowEditing(true);
}
JPanel listPanel = new JPanel();
this.triggerList = new WbTable(true, false, false);
this.triggerList.setRendererSetup(RendererSetup.getBaseSetup());
this.triggerList.setAutoResizeMode(JTable.AUTO_RESIZE_OFF);
this.triggerList.setCellSelectionEnabled(false);
this.triggerList.setColumnSelectionAllowed(false);
this.triggerList.setRowSelectionAllowed(true);
this.triggerList.getSelectionModel().addListSelectionListener(this);
this.triggerList
.getSelectionModel()
.setSelectionMode(ListSelectionModel.MULTIPLE_INTERVAL_SELECTION);
this.triggerList.addTableModelListener(this);
triggerList.setReadOnly(true);
findPanel = new QuickFilterPanel(this.triggerList, false, "triggerlist");
findPanel.setFilterOnType(DbExplorerSettings.getFilterDuringTyping());
findPanel.setAlwaysUseContainsFilter(DbExplorerSettings.getUsePartialMatch());
ReloadAction a = new ReloadAction(this);
a.setUseLabelIconSize(true);
this.findPanel.addToToolbar(a, true, false);
a.getToolbarButton().setToolTipText(ResourceMgr.getString("TxtRefreshTriggerList"));
listPanel.setLayout(new BorderLayout());
listPanel.add((JPanel) findPanel, BorderLayout.NORTH);
this.splitPane = new WbSplitPane(JSplitPane.HORIZONTAL_SPLIT);
this.splitPane.setOneTouchExpandable(true);
this.splitPane.setDividerSize(6);
WbScrollPane scroll = new WbScrollPane(this.triggerList);
listPanel.add(scroll, BorderLayout.CENTER);
infoLabel = new SummaryLabel("");
listPanel.add(infoLabel, BorderLayout.SOUTH);
this.splitPane.setLeftComponent(listPanel);
this.splitPane.setRightComponent(source);
this.splitPane.setDividerBorder(WbSwingUtilities.EMPTY_BORDER);
this.setLayout(new BorderLayout());
this.add(splitPane, BorderLayout.CENTER);
WbTraversalPolicy pol = new WbTraversalPolicy();
pol.setDefaultComponent((JPanel) findPanel);
pol.addComponent((JPanel) findPanel);
pol.addComponent(this.triggerList);
this.setFocusTraversalPolicy(pol);
this.reset();
WbSelectionModel list = WbSelectionModel.Factory.createFacade(triggerList.getSelectionModel());
this.dropAction = new DropDbObjectAction(this, list, this);
triggerList.addPopupAction(dropAction, true);
this.compileAction = new CompileDbObjectAction(this, list);
triggerList.addPopupAction(compileAction, false);
if (dbConnection != null) {
setConnection(dbConnection);
}
this.splitPane.setDividerLocation(0.5d);
initialized = true;
restoreSettings();
if (workspaceProperties != null) {
readSettings(workspaceProperties, workspaceProperties.getFilterPrefix());
workspaceProperties = null;
}
Settings.getInstance()
.addPropertyChangeListener(this, DbExplorerSettings.PROP_ALLOW_SOURCE_EDITING);
}