Commit 9e20511f authored by Piotr Gawron's avatar Piotr Gawron
Browse files

plugin tab didn't resize content properly when new plugin link was in a new line

parent 0dcae56e
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
......@@ -70,6 +70,7 @@ PluginManager.prototype.getGuiUtils = function () {
PluginManager.prototype.addPlugin = function (options) {
var self = this;
var oldLinkHeight = $(".nav-tabs", self.getElement()).height();
if (self._panels === undefined) {
......@@ -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) {
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment