Home
last modified time | relevance | path

Searched refs:updateSourceText (Results 1 – 3 of 3) sorted by relevance

/dports/lang/rhino/rhino1_7R4/toolsrc/org/mozilla/javascript/tools/debugger/
H A DGuiCallback.java17 void updateSourceText(Dim.SourceInfo sourceInfo); in updateSourceText() method
H A DDim.java363 callback.updateSourceText(sourceInfo); in registerTopScript()
H A DSwingGui.java746 public void updateSourceText(Dim.SourceInfo sourceInfo) { in updateSourceText() method in SwingGui