mirror of
https://github.com/node-red/node-red.git
synced 2023-10-10 13:36:53 +02:00
bug: merge issue. fixes #3364
This commit is contained in:
parent
f67aafa8d3
commit
10b133db02
@ -557,7 +557,6 @@ RED.tabs = (function() {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
li.one("transitionend", function(evt) {
|
|
||||||
li.remove();
|
li.remove();
|
||||||
if (tabs[id].pinned) {
|
if (tabs[id].pinned) {
|
||||||
pinnedTabsCount--;
|
pinnedTabsCount--;
|
||||||
@ -571,9 +570,6 @@ RED.tabs = (function() {
|
|||||||
collapsibleMenu.remove();
|
collapsibleMenu.remove();
|
||||||
collapsibleMenu = null;
|
collapsibleMenu = null;
|
||||||
}
|
}
|
||||||
})
|
|
||||||
li.addClass("hide-tab");
|
|
||||||
li.width(0);
|
|
||||||
}
|
}
|
||||||
|
|
||||||
function findPreviousVisibleTab(li) {
|
function findPreviousVisibleTab(li) {
|
||||||
|
Loading…
Reference in New Issue
Block a user