From fb3deea5c4a326262404f3ea59c1ecde00233e47 Mon Sep 17 00:00:00 2001
From: Andreas Brachold <vdr07@deltab.de>
Date: Sun, 11 Jan 2009 21:21:13 +0000
Subject: Skins/jason: use browser history, if tab panel changed

---
 skins/jason/tabpanel.js | 25 +++++++++++++------------
 1 file changed, 13 insertions(+), 12 deletions(-)

diff --git a/skins/jason/tabpanel.js b/skins/jason/tabpanel.js
index fa56ce3..0cdd39a 100644
--- a/skins/jason/tabpanel.js
+++ b/skins/jason/tabpanel.js
@@ -13,16 +13,16 @@ Ext.xxv.tabPanel = function(){
     var tab = creatNowView(this,'n');
 
     Ext.xxv.tabPanel.superclass.constructor.call(this, {
-        id:'main-tabs',
-        activeTab:0,
-        region:'center',
-        margins:'0 5 5 0',
-        resizeTabs:true,
-        tabWidth:150,
-        minTabWidth: 120,
-        enableTabScroll: true,
-        plugins: new Ext.ux.TabCloseMenu(),
-        items: tab
+         id:'main-tabs'
+        ,activeTab:0
+        ,region:'center'
+        ,margins:'0 5 5 0'
+        ,resizeTabs:true
+        ,tabWidth:150
+        ,minTabWidth: 100
+        ,enableTabScroll: true
+        ,plugins: [ new Ext.ux.TabCloseMenu() ]
+        ,items: [ tab ]
     });
 
 };
@@ -168,9 +168,10 @@ Ext.extend(Ext.xxv.tabPanel, Ext.TabPanel, {
         if(!(tab = this.getItem(id))){
           tab = this.createTab(id);
         }
-        if(tab)
+        if(tab) {
           this.setActiveTab(tab);
-        this.show()
+          this.show();
+        }
     }
 
     ,createTab : function(id){
-- 
cgit v1.2.3