diff --git a/designer_base/src/com/fr/design/extra/PluginManagerPane.java b/designer_base/src/com/fr/design/extra/PluginManagerPane.java index 36948fe36..a449044be 100644 --- a/designer_base/src/com/fr/design/extra/PluginManagerPane.java +++ b/designer_base/src/com/fr/design/extra/PluginManagerPane.java @@ -66,6 +66,11 @@ public class PluginManagerPane extends BasicPane { initTraditionalStore(); } } + + public PluginManagerPane(String keyword){ + this(); + PluginWebBridge.getHelper().setShowKeyword(keyword); + } private void addPane(String installHome) { PluginWebPane webPane = new PluginWebPane(new File(installHome).getAbsolutePath());