1 dump('entering main/menu.js\n');
3 if (typeof main == 'undefined') main = {};
4 main.menu = function () {
6 JSAN.use('util.error'); this.error = new util.error();
11 main.menu.prototype = {
17 var cmd_close_window = this.w.document.getElementById('cmd_close_window');
19 cmd_close_window.addEventListener('command', function() { obj.w.close(); }, false);
21 var cmd_new_window = this.w.document.getElementById('cmd_new_window');
23 cmd_new_window.addEventListener('command', function() { alert('Not Yet Implemented'); }, false);
25 var cmd_broken = this.w.document.getElementById('cmd_broken');
27 cmd_broken.addEventListener('command', function() { alert('Not Yet Implemented'); }, false);
31 'close_tab' : function (t_idx) {
36 dump('exiting main/menu.js\n');