diff options
Diffstat (limited to '')
| -rw-r--r-- | java/sca/modules/domain-manager/src/main/resources/workspace.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/java/sca/modules/domain-manager/src/main/resources/workspace.html b/java/sca/modules/domain-manager/src/main/resources/workspace.html index 9d40a2ecc6..36c02ab1e6 100644 --- a/java/sca/modules/domain-manager/src/main/resources/workspace.html +++ b/java/sca/modules/domain-manager/src/main/resources/workspace.html @@ -43,6 +43,12 @@ </body> <script type="text/javascript"> + var toolbarGadgetDiv = elementByID(document, 'toolbarGadgetDiv'); + var workspaceGadgetDiv = elementByID(document, 'workspaceGadgetDiv'); + + var toolbarGadget = elementByID(document, 'toolbarGadget'); + var workspaceGadget = elementByID(document, 'workspaceGadget'); + function ongadget(win, doc) { if (doc == content(toolbarGadget)) { toolbarGadgetDiv.innerHTML = doc.body.innerHTML; |