public GlyphGutter(EditorUI editorUI) { super(); this.editorUI = editorUI; init = false; doc = editorUI.getDocument(); annos = doc.getAnnotations(); // Annotations class is model for this view, so the listener on changes // in // Annotations must be added here annos.addAnnotationsListener(this); // do initialization init(); update(); }
public GlyphGutter(EditorUI editorUI) { super(); this.editorUI = editorUI; init = false; doc = editorUI.getDocument(); annos = doc.getAnnotations(); // Annotations class is model for this view, so the listener on changes in // Annotations must be added here annos.addAnnotationsListener(this); // do initialization init(); update(); Settings.addSettingsChangeListener(this); setMaximumSize(new Dimension(Integer.MAX_VALUE, Integer.MAX_VALUE)); foldHierarchy = FoldHierarchy.get(editorUI.getComponent()); glyphGutterFoldHierarchyListener = new GlyphGutterFoldHierarchyListener(); foldHierarchy.addFoldHierarchyListener(glyphGutterFoldHierarchyListener); editorUIListener = new EditorUIListener(); editorUI.addPropertyChangeListener(editorUIListener); updateRenderingHints(); setOpaque (true); }