Ejemplos de WbWorkspace en Java

Ejemplo n.º 1

Archivo: TriggerListPanel.java Proyecto: zippy1981/SqlWorkbenchJ

 public void readFromWorkspace(WbWorkspace w, int index) {
   String prefix = getWorkspacePrefix(index);
   if (initialized) {
     readSettings(w.getSettings(), prefix);
   } else {
     workspaceProperties = new FilteredProperties(w.getSettings(), prefix);
   }
 }

Ejemplo n.º 2

Archivo: TriggerListPanel.java Proyecto: zippy1981/SqlWorkbenchJ

 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);
   }
 }