From c3be3efa9b2c02d63a680674b3924a2208050f83 Mon Sep 17 00:00:00 2001
From: Richard Wall <richard@largo>
Date: Sun, 11 Sep 2011 10:29:53 +0100
Subject: #816668 Upgrade to latest dev jquerytools and re-enable the tab
 history plugin

---
 jarmon/jarmon.js | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'jarmon/jarmon.js')

diff --git a/jarmon/jarmon.js b/jarmon/jarmon.js
index 32fce6d..e4fd1dc 100644
--- a/jarmon/jarmon.js
+++ b/jarmon/jarmon.js
@@ -1229,10 +1229,9 @@ jarmon.TabbedInterface.prototype.setup = function() {
     if(api) {
         api.destroy();
     }
-    this.$tabBar.tabs(this.$tabPanels.children('div'));
+    this.$tabBar.tabs(this.$tabPanels.children('div'), {history: true});
 };
 
-
 jarmon.buildTabbedChartUi = function ($chartTemplate, chartRecipes,
                                       $tabTemplate, tabRecipes,
                                       $controlPanelTemplate) {
-- 
cgit v1.2.3