From 9e20511fca0b3f20c3eb255c637be6576057424d Mon Sep 17 00:00:00 2001
From: Piotr Gawron <piotr.gawron@uni.lu>
Date: Wed, 5 Jun 2019 16:50:12 +0200
Subject: [PATCH] plugin tab didn't resize content properly when new plugin
link was in a new line
---
CHANGELOG | 2 ++
frontend-js/src/main/js/plugin/PluginManager.js | 2 +-
2 files changed, 3 insertions(+), 1 deletion(-)
diff --git a/CHANGELOG b/CHANGELOG
index d0e92f85ed..815cb0ba91 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 8fbf00c05f..a04aa1628d 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) {
--
GitLab