src/jalview/gui/OptsParametersContainerI.java

   1 package jalview.gui;
   2
   3 import jalview.gui.OptsAndParamsPage.ParamBox;
   4 import jalview.gui.OptsAndParamsPage.OptionBox;
   5
   6 public interface OptsParametersContainerI
   7 {
   8
   9   void refreshParamLayout();
  10
  11   void argSetModified(Object modifiedElement, boolean b);
  12
  13 }