+package jalview.gui;
+
+import jalview.gui.OptsAndParamsPage.ParamBox;
+import jalview.gui.OptsAndParamsPage.OptionBox;
+
+public interface OptsParametersContainerI
+{
+
+ void refreshParamLayout();
+
+ void argSetModified(Object modifiedElement, boolean b);
+
+}