Method caretUpdate

output/java8/1.4.17/STViz.java:163–193

(CaretEvent e)

//        );
        CaretListener caretListenerLabel = new CaretListener() {
                                               @Override
                                               public void caretUpdate(CaretEvent e) {
                                                   int depth = updateDepth.incrementAndGet();
                                                   try {
                                                       if ( depth!=1 ) {
                                                           return;
                                                       }

                                                       int dot = toEventPosition((JTextComponent)e.getSource(), e.getDot());
                                                       currentEvent = findEventAtOutputLocation(allEvents, dot);
                                                       if ( currentEvent==null ) currentScope = tmodel.root.event.scope;
                                                       else currentScope = currentEvent.scope;

                    // update tree view of template hierarchy
                    // compute path from root to currentST, create TreePath for tree widget
                                                       List<EvalTemplateEvent> stack = Interpreter.getEvalTemplateEventStack(currentScope, true);
                    //System.out.println("\nselect path="+stack);
                                                       Object[] path = new Object[stack.size()];
                                                       int j = 0;
                                                       for (EvalTemplateEvent s : stack) {
                                                           path[j++] = new JTreeSTModel.Wrapper(s);
                                                       }
                                                       TreePath p = new TreePath(path);
                                                       viewFrame.tree.setSelectionPath(p);
                                                       viewFrame.tree.scrollPathToVisible(p);
                                                       updateCurrentST(viewFrame);
                                                   }
                                                   finally {
                                                       updateDepth.decrementAndGet();
                                                   }
                                               }
                                           };
        viewFrame.output.addCaretListener(caretListenerLabel);