equal
deleted
inserted
replaced
5 |
5 |
6 tinyMCEPopup.resizeToInnerSize(); |
6 tinyMCEPopup.resizeToInnerSize(); |
7 ed = tinyMCEPopup.editor; |
7 ed = tinyMCEPopup.editor; |
8 |
8 |
9 // Give FF some time |
9 // Give FF some time |
10 window.setTimeout('insertHelpIFrame();', 10); |
10 window.setTimeout(insertHelpIFrame, 10); |
11 |
11 |
12 tcont = document.getElementById('plugintablecontainer'); |
12 tcont = document.getElementById('plugintablecontainer'); |
13 document.getElementById('plugins_tab').style.display = 'none'; |
13 document.getElementById('plugins_tab').style.display = 'none'; |
14 |
14 |
15 var html = ""; |
15 var html = ""; |