context: function setTable( new_db, new_table ) {    if ( new_db != db || new_table != table ) {        // table or db has changed                //alert( new_table + '(' + new_table.length + ') : ' + table );        if ( window.frames[0].document.getElementById( new_db ) == null          && window.frames[0].document.getElementById( new_db + '.' + new_table ) == null ) {            // table or db is unknown, reload complete left frame            goTo('left.php?&db=' + new_db + '&table=' + new_table);        }                // save new db and table        db = new_db;        table = new_table;                // refresh querywindow        refreshQuerywindow();    }}
meta: 8858	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/8858/889b2e9f2ea15ddb73a94ab459095f25a455cf81/querywindow.js/buggy/libraries/querywindow.js