Searched defs:srcTool (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/com/sun/tools/example/debug/gui/
H A DGUI.java54 //private SourceTool srcTool;
55 public static SourceTool srcTool; field in class:GUI
76 srcTool = new SourceTool(env);
77 srcTool.setPreferredSize(new java.awt.Dimension(500, 300));
78 srcTool.setTextFont(fixedFont);
86 JSplitPane right = new JSplitPane(JSplitPane.VERTICAL_SPLIT, srcTool,

Completed in 41 milliseconds