equal
deleted
inserted
replaced
47 overlay.get('contentBox').set("id", "the-toc") ; |
47 overlay.get('contentBox').set("id", "the-toc") ; |
48 |
48 |
49 // attach to DOM |
49 // attach to DOM |
50 overlay.render('#leftcolumn'); |
50 overlay.render('#leftcolumn'); |
51 |
51 |
52 CY.get("#"+gToc['tocTitleId']).set('innerHTML', gettext('Table of contents')) ; |
52 CY.one("#"+gToc['tocTitleId']).set('innerHTML', gettext('Table of contents')) ; |
53 |
53 |
54 gToc['overlay'] = overlay ; |
54 gToc['overlay'] = overlay ; |
55 |
55 |
56 var animationHide = null ; |
56 var animationHide = null ; |
57 animationHide = new CY.Anim({ |
57 animationHide = new CY.Anim({ |