From a4885ff38ce896f2d71ee57b33009856c5045f02 Mon Sep 17 00:00:00 2001 From: David Rowe Date: Tue, 9 Jun 2015 12:33:30 -0700 Subject: [PATCH] Close directory window after domain change --- examples/directory.js | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/examples/directory.js b/examples/directory.js index 03d352e024..b1fac19e8b 100644 --- a/examples/directory.js +++ b/examples/directory.js @@ -45,6 +45,10 @@ var directory = (function () { } } + function onDomainChanged() { + directoryWindow.setVisible(false); + } + function onScriptUpdate() { var oldViewport = viewport; @@ -74,6 +78,7 @@ var directory = (function () { updateButtonPosition(); Controller.mousePressEvent.connect(onMousePressEvent); + Window.domainChanged.connect(onDomainChanged); Script.update.connect(onScriptUpdate); }