anchor.diff:  
       <%= javascript_tag "var FORM_AUTH_TOKEN = '#{form_auth_token}';" %>
   
  -    <%= javascript_include_tag 'jquery-1.3.2.min.js',
  -      "ext-3.0.0/adapter/jquery/ext-jquery-adapter.js",
  -      "ext-3.0.0/adapter/ext/ext-base",
  +    <%= javascript_include_tag "ext-3.0.0/adapter/ext/ext-base",
         "ext-3.0.0/ext-all" ,
         "workbench/base",
         "workbench/bio-notifier",
  
positive.code:           el: 'my-header-div'
          }),
           */
          {
            region: 'west',
            id: 'west-panel', // see Ext.getCmp() below
            title: 'Database Browser',
            split: true,
            width: 200,
            minSize: 175,
            //              maxSize: 400,
            collapsible: true,
  
            margins: '0 0 0 5',
            items: [
              {id: 'bio-database-group-tree',
                xtype:'database-group-tree',
  
negative.code:               }
              }]
          },
           ******************* END OLD
           */
          {
            region: 'west',
            title: 'Database Browser',
            width: 200,
            minSize: 175,
            margins: '0 0 0 5',
            collapsible: true,
            id: 'bio-database-group-tree',
            xtype:'database-group-tree',
            treeData: dbGroupTree,
            projectOptions: Ext.workbenchdata.projectOptions,
            clickAction: function(node) {
              Ext.bio.workbench.updateContent(node);
              Ext.getCmp('tree-delete-icon').enable();
            }
          } ,
  
          new Ext.TabPanel({
            id: 'workbench-grid-tabs',
            region: 'center', // a center region is ALWAYS required for border layout
  