diff --git a/CHANGELOG b/CHANGELOG index d0e92f85ed1d6359e9ddaff240d52c7703299578..815cb0ba9170658b626efc65433b386f7d55643c 100644 --- a/CHANGELOG +++ b/CHANGELOG @@ -1,6 +1,8 @@ minerva (12.3.1~beta.1) unstable; urgency=low * Bug fix: tair locus identifiers were used improperly - instead of id the name was used + * Bug fix: plugin tab header wasn't properly resized after adding plugins + that introduced second line for tab selection (#758) minerva (13.1.0~beta.0) unstable; urgency=low * Feature: annotators are more flexible - you can define set of input and diff --git a/frontend-js/src/main/js/plugin/PluginManager.js b/frontend-js/src/main/js/plugin/PluginManager.js index 8fbf00c05f97baa358dc20cc1b2d3b6a7d0633c9..a04aa1628d816b381b5c08bec12e2bcf2c7e57ad 100644 --- a/frontend-js/src/main/js/plugin/PluginManager.js +++ b/frontend-js/src/main/js/plugin/PluginManager.js @@ -70,6 +70,7 @@ PluginManager.prototype.getGuiUtils = function () { */ PluginManager.prototype.addPlugin = function (options) { var self = this; + var oldLinkHeight = $(".nav-tabs", self.getElement()).height(); $(self.getElement()).show(); if (self._panels === undefined) { self.getGuiUtils().initTabContent(self); @@ -78,7 +79,6 @@ PluginManager.prototype.addPlugin = function (options) { self.getGuiUtils().addTab(self, {name: "PLUGIN", content: element}); - var oldLinkHeight = $(".nav-tabs", self.getElement()).height(); var plugin; return Promise.resolve().then(function () { if (options instanceof Plugin) {