Searched refs:GlyphGutter (Results 1 – 2 of 2) sorted by relevance
44 private GlyphGutter gg;107 gg = new GlyphGutter(this); in initUI()152 class GlyphGutter extends JComponent { class157 GlyphGutter(PlainSourceView view) { in GlyphGutter() method in GlyphGutter
58 private GlyphGutter gg;132 gg = new GlyphGutter(this); in initUI()303 class GlyphGutter extends JComponent { class308 GlyphGutter(OOBeanShellDebugger debugger) { in GlyphGutter() method in GlyphGutter
Completed in 14 milliseconds