JumpList.checkAddEntry(); editorUI.getComponent().getCaret().setDot(offset); JPopupMenu pm = annos.createPopupMenu(Utilities.getKit(editorUI.getComponent()), line); if (pm != null) { pm.show(GlyphGutter.this, e.getX(), e.getY());
JumpList.checkAddEntry(); editorUI.getComponent().getCaret().setDot(offset); JPopupMenu pm = annos.createPopupMenu(Utilities.getKit(editorUI.getComponent()), line); if (pm != null) { pm.show(GlyphGutter.this, e.getX(), e.getY());