/* ----------------- key manager ---------- */ SQL.KeyManager = function(owner) { this.owner = owner; this.dom = { container:OZ.$("keys") } this.build(); } SQL.KeyManager.prototype.build = function() { this.dom.list = OZ.$("keyslist"); this.dom.type = OZ.$("keytype"); this.dom.name = OZ.$("keyname"); this.dom.left = OZ.$("keyleft"); this.dom.right = OZ.$("keyright"); this.dom.fields = OZ.$("keyfields"); this.dom.avail = OZ.$("keyavail"); this.dom.listlabel = OZ.$("keyslistlabel"); var ids = ["keyadd","keyremove"]; for (var i=0;i=0;i--) { var k = this.table.keys[i]; if (!k.rows.length) { this.table.removeKey(k); } } } SQL.KeyManager.prototype.sync = function(table) { /* sync content with given table */ this.table = table; this.dom.listlabel.innerHTML = _("keyslistlabel").replace(/%s/,table.getTitle()); OZ.DOM.clear(this.dom.list); for (var i=0;i