Method waitForClose

output/java/1.4.13/STViz.java:261–289

()

    }

    public void waitForClose() throws InterruptedException
    {
        final Object lock = new Object();
        Thread t = new Thread() {
                       @Override
                       public void run() {
                           synchronized ( lock ) {
while ( viewFrame.isVisible() ) {
   try {
       lock.wait();
   }
   catch (InterruptedException e) {
   }
}
                           }
                       }
                   };
        t.start();
        viewFrame.addWindowListener(new WindowAdapter() {
                                        @Override
                                        public void windowClosing(WindowEvent arg0) {
                                            synchronized ( lock ) {
                                                viewFrame.setVisible(false);
                                                lock.notify();
                                            }
                                        }
                                    });
        t.join();
    }

    private void updateCurrentST(STViewFrame m) {
//      System.out.println("updateCurrentST(): currentScope.st="+currentScope.st);