public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { Utilities.getEditorUI(target).adjustCaret(percentFromWindowTop); } } }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { Utilities.getEditorUI(target).adjustCaret(percentFromWindowTop); } } }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { Utilities.getEditorUI(target).adjustWindow(percentFromWindowTop); } } }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { Utilities.getEditorUI(target).adjustWindow(percentFromWindowTop); } } }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { EditorUI editorUI = Utilities.getEditorUI(target); Boolean overwriteMode = (Boolean)editorUI.getProperty(EditorUI.OVERWRITE_MODE_PROPERTY); // Now toggle overwriteMode = (overwriteMode == null || !overwriteMode.booleanValue()) ? Boolean.TRUE : Boolean.FALSE; editorUI.putProperty(EditorUI.OVERWRITE_MODE_PROPERTY, overwriteMode); } } }
public static void setStatusText(JTextComponent c, String text) { StatusBar sb = getEditorUI(c).getStatusBar(); if (sb != null) { sb.setText(StatusBar.CELL_MAIN, text); } }
public static void setStatusText(JTextComponent c, String text) { StatusBar sb = getEditorUI(c).getStatusBar(); if (sb != null) { sb.setText(StatusBar.CELL_MAIN, text); } }
public JComponent createSideBar(JTextComponent target) { EditorUI eui = Utilities.getEditorUI(target); GlyphGutter glyph = new GlyphGutter(eui); eui.setGlyphGutter(glyph); return glyph; }
public static void setStatusBoldText(JTextComponent c, String text) { StatusBar sb = getEditorUI(c).getStatusBar(); if (sb != null) { sb.setBoldText(StatusBar.CELL_MAIN, text); } }
public static void setStatusBoldText(JTextComponent c, String text) { StatusBar sb = getEditorUI(c).getStatusBar(); if (sb != null) { sb.setBoldText(StatusBar.CELL_MAIN, text); } }
public static void setStatusText(JTextComponent c, String text, Coloring extraColoring) { StatusBar sb = getEditorUI(c).getStatusBar(); if (sb != null) { sb.setText(StatusBar.CELL_MAIN, text, extraColoring); } }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { EditorUI editorUI = Utilities.getEditorUI(target); Rectangle bounds = editorUI.getExtentBounds(); bounds.y -= editorUI.getLineHeight(); editorUI.scrollRectToVisible(bounds, EditorUI.SCROLL_SMALLEST); } }
public void deinstall(JTextComponent c) { EditorUI editorUI = Utilities.getEditorUI(c); editorUI.removeLayer(HIGHLIGHT_ROW_LAYER_NAME); editorUI.removeLayer(HIGHLIGHT_BRACE_LAYER_NAME); super.deinstall(c); }
public void deinstall(JTextComponent c) { EditorUI editorUI = Utilities.getEditorUI(c); editorUI.removeLayer(HIGHLIGHT_ROW_LAYER_NAME); editorUI.removeLayer(HIGHLIGHT_BRACE_LAYER_NAME); super.deinstall(c); }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { EditorUI editorUI = Utilities.getEditorUI(target); Rectangle bounds = editorUI.getExtentBounds(); bounds.y -= editorUI.getLineHeight(); bounds.x += editorUI.getTextMargin().left; editorUI.scrollRectToVisible(bounds, EditorUI.SCROLL_SMALLEST); } }
public void showTooltip() { final JEditorPane ep = EditorContextDispatcher.getDefault().getMostRecentEditor(); final EditorUI eui = org.netbeans.editor.Utilities.getEditorUI(ep); final ToolTipSupport toolTipSupport = eui.getToolTipSupport(); toolTipSupport.setToolTip(this, PopupManager.ViewPortBounds, PopupManager.AbovePreferred, 0, 0, ToolTipSupport.FLAGS_HEAVYWEIGHT_TOOLTIP); }
public void actionPerformed(ActionEvent evt, JTextComponent target) { if (target != null) { EditorUI editorUI = Utilities.getEditorUI(target); Rectangle bounds = editorUI.getExtentBounds(); bounds.y += editorUI.getLineHeight(); bounds.x += editorUI.getTextMargin().left; editorUI.scrollRectToVisible(bounds, EditorUI.SCROLL_SMALLEST); } }
public void showTooltip() { final JEditorPane ep = EditorContextDispatcher.getDefault().getMostRecentEditor(); final EditorUI eui = org.netbeans.editor.Utilities.getEditorUI(ep); final ToolTipSupport toolTipSupport = eui.getToolTipSupport(); toolTipSupport.setToolTip(this); }
public void install(JTextComponent c) { EditorUI editorUI = Utilities.getEditorUI(c); editorUI.addLayer(new HighlightRowLayer(), HIGHLIGHT_ROW_LAYER_VISIBILITY); editorUI.addLayer(new HighlightBraceLayer(), HIGHLIGHT_BRACE_LAYER_VISIBILITY); super.install(c); }
public JMenuItem getPopupMenuItem(JTextComponent target) { EditorUI ui = Utilities.getEditorUI(target); try { return ui.getDocument().getAnnotations().createMenu(Utilities.getKit(target), Utilities.getLineOffset(ui.getDocument(), target.getCaret().getDot())); } catch (BadLocationException ex) { return null; } }