diff --git a/frontend-js/src/main/js/plugin/PluginManager.js b/frontend-js/src/main/js/plugin/PluginManager.js index 0aa09ada8d1c387444b5adc7bab6f935417fef53..7b677b3b3a81e9443964440923ccfe61163a04fa 100644 --- a/frontend-js/src/main/js/plugin/PluginManager.js +++ b/frontend-js/src/main/js/plugin/PluginManager.js @@ -98,6 +98,8 @@ PluginManager.prototype.createTabForPlugin = function () { var guiUtils = new GuiUtils(self.getConfiguration()); if (tabData === undefined) { self.getElement().style.width = "300px"; + self.getElement().style.minWidth = "150px"; + self.getElement().style.maxWidth = "600px"; self.getElement().style.height = "100%"; self._tabData = guiUtils.createTabDiv({element: self.getElement(), id: "plugin_tab"}); tabData = self._tabData;