From 2058081ffb7d59ea324aab3a7e59fb1f5db3d039 Mon Sep 17 00:00:00 2001
From: Antonin Delpeuch <antonin@delpeuch.eu>
Date: Wed, 20 Sep 2017 10:08:03 +0100
Subject: [PATCH] Fix overflow of history items outside the window. Closes
 #1106.

---
 main/webapp/modules/core/scripts/project.js | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/main/webapp/modules/core/scripts/project.js b/main/webapp/modules/core/scripts/project.js
index cf729f48f..65d99904e 100644
--- a/main/webapp/modules/core/scripts/project.js
+++ b/main/webapp/modules/core/scripts/project.js
@@ -153,12 +153,8 @@ function initializeUI(uiState) {
   ui.historyPanel = new HistoryPanel(ui.historyPanelDiv, ui.historyTabHeader);
   ui.dataTableView = new DataTableView(ui.viewPanelDiv);
 
-  ui.leftPanelTabs.bind('tabsshow', function(event, tabs) {
-    if (tabs.index === 0) {
-      ui.browsingEngine.resize();
-    } else if (tabs.index === 1) {
-      ui.historyPanel.resize();
-    }
+  ui.leftPanelTabs.bind('tabsactivate', function(event, tabs) {
+    tabs.newPanel.resize();
   });
 
   $(window).bind("resize", resizeAll);