Searched refs:general_featlib (Results 1 – 3 of 3) sorted by relevance
102 defaults.setProperty (general_featlib, "/home/people/featflow/"); in initDefaults()530 public static final String general_featlib = "general_featlib"; field in Options
263 initialDirectory = cc.op.get (Options.general_featlib); in actionPerformed()
1527 featlibTextField.setText (cc.op.get (Options.general_featlib)); in updateGUI()1636 cc.op.set (Options.general_featlib, featlibTextField.getText()); in updateOptions()