private void doUpdate(Point mousePoint) { // Repaint the last rectangle if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } // Store the cell rect as the last cell rect rect = linkedObjectComponent.getMouseCellRect(); if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } }
private void renderHyperlink(OWLEntity curEntity, int tokenStartIndex, int tokenLength, StyledDocument doc) { try { Rectangle startRect = textPane.modelToView(tokenStartIndex); Rectangle endRect = textPane.modelToView(tokenStartIndex + tokenLength); if (startRect != null && endRect != null) { int width = endRect.x - startRect.x; int heght = startRect.height; Rectangle tokenRect = new Rectangle(startRect.x, startRect.y, width, heght); tokenRect.grow(0, -2); if (linkedObjectComponent.getMouseCellLocation() != null) { Point mouseCellLocation = linkedObjectComponent.getMouseCellLocation(); if (mouseCellLocation != null) { mouseCellLocation = SwingUtilities.convertPoint(renderingComponent, mouseCellLocation, textPane); if (tokenRect.contains(mouseCellLocation)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, linkStyle, false); linkedObjectComponent.setLinkedObject(curEntity); linkRendered = true; } } } } } catch (BadLocationException e) { e.printStackTrace(); } }
public void dispose() { linkedObjectComponent.getComponent().removeMouseMotionListener(mouseMotionListener); linkedObjectComponent.getComponent().removeMouseListener(mouseListener); }
protected void highlightText(StyledDocument doc) { // Highlight text StringTokenizer tokenizer = new StringTokenizer(textPane.getText(), " []{}(),\n\t'", true); linkRendered = false; annotURIRendered = false; int tokenStartIndex = 0; while (tokenizer.hasMoreTokens()) { // Get the token and determine if it is a keyword or // entity (or delimeter) String curToken = tokenizer.nextToken(); if (curToken.equals("'")) { while (tokenizer.hasMoreTokens()) { String s = tokenizer.nextToken(); curToken += s; if (s.equals("'")) { break; } } } renderToken(curToken, tokenStartIndex, doc); tokenStartIndex += curToken.length(); } if (renderLinks && !linkRendered) { linkedObjectComponent.setLinkedObject(null); } }
private void navigateToObject() { OWLObject object = linkedObjectComponent.getLinkedObject(); if (!(object instanceof OWLEntity)) { return; } editorKit.getWorkspace().getOWLSelectionModel().setSelectedEntity((OWLEntity) object); editorKit.getWorkspace().displayOWLEntity((OWLEntity) object); }
private void renderHyperlink(OWLEntity curEntity, int tokenStartIndex, int tokenLength, StyledDocument doc) { try { Rectangle startRect = textPane.modelToView(tokenStartIndex); Rectangle endRect = textPane.modelToView(tokenStartIndex + tokenLength); if (startRect != null && endRect != null) { int width = endRect.x - startRect.x; int heght = startRect.height; Rectangle tokenRect = new Rectangle(startRect.x, startRect.y, width, heght); tokenRect.grow(0, -2); if (linkedObjectComponent.getMouseCellLocation() != null) { Point mouseCellLocation = linkedObjectComponent.getMouseCellLocation(); if (mouseCellLocation != null) { mouseCellLocation = SwingUtilities.convertPoint(renderingComponent, mouseCellLocation, textPane); if (tokenRect.contains(mouseCellLocation)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, linkStyle, false); linkedObjectComponent.setLinkedObject(curEntity); linkRendered = true; } } } } } catch (BadLocationException e) { e.printStackTrace(); } }
public void setLinkedObject(OWLObject linkedObject) { this.linkedObject = linkedObject; if (linkedObject != null) { linkedObjectComponent.getComponent().setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR)); } else { linkedObjectComponent.getComponent().setCursor(defaultCursor); } }
protected void highlightText(StyledDocument doc, boolean selected) { // Highlight text StringTokenizer tokenizer = new StringTokenizer(textPane.getText(), " []{}(),\n\t'", true); linkRendered = false; annotURIRendered = false; int tokenStartIndex = 0; while (tokenizer.hasMoreTokens()) { // Get the token and determine if it is a keyword or // entity (or delimeter) String curToken = tokenizer.nextToken(); if (curToken.equals("'")) { while (tokenizer.hasMoreTokens()) { String s = tokenizer.nextToken(); curToken += s; if (s.equals("'")) { break; } } } renderToken(curToken, tokenStartIndex, doc, selected); tokenStartIndex += curToken.length(); } if (renderLinks && !linkRendered) { linkedObjectComponent.setLinkedObject(null); } }
private void navigateToObject() { OWLObject object = linkedObjectComponent.getLinkedObject(); if (!(object instanceof OWLEntity)) { return; } editorKit.getWorkspace().getOWLSelectionModel().setSelectedEntity((OWLEntity) object); editorKit.getWorkspace().displayOWLEntity((OWLEntity) object); }
private void doUpdate(Point mousePoint) { // Repaint the last rectangle if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } // Store the cell rect as the last cell rect rect = linkedObjectComponent.getMouseCellRect(); if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } }
private void renderHyperlink(OWLEntity curEntity, int tokenStartIndex, int tokenLength, StyledDocument doc) { try { Rectangle startRect = textPane.modelToView(tokenStartIndex); Rectangle endRect = textPane.modelToView(tokenStartIndex + tokenLength); if (startRect != null && endRect != null) { int width = endRect.x - startRect.x; int heght = startRect.height; Rectangle tokenRect = new Rectangle(startRect.x, startRect.y, width, heght); tokenRect.grow(0, -2); if (linkedObjectComponent.getMouseCellLocation() != null) { Point mouseCellLocation = linkedObjectComponent.getMouseCellLocation(); if (mouseCellLocation != null) { mouseCellLocation = SwingUtilities.convertPoint(renderingComponent, mouseCellLocation, textPane); if (tokenRect.contains(mouseCellLocation)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, linkStyle, false); linkedObjectComponent.setLinkedObject(curEntity); linkRendered = true; } } } } } catch (BadLocationException e) { e.printStackTrace(); } }
public void dispose() { linkedObjectComponent.getComponent().removeMouseMotionListener(mouseMotionListener); linkedObjectComponent.getComponent().removeMouseListener(mouseListener); }
protected void highlightText(StyledDocument doc) { // Highlight text StringTokenizer tokenizer = new StringTokenizer(textPane.getText(), " []{}(),\n\t'", true); linkRendered = false; annotURIRendered = false; int tokenStartIndex = 0; while (tokenizer.hasMoreTokens()) { // Get the token and determine if it is a keyword or // entity (or delimeter) String curToken = tokenizer.nextToken(); if (curToken.equals("'")) { while (tokenizer.hasMoreTokens()) { String s = tokenizer.nextToken(); curToken += s; if (s.equals("'")) { break; } } } renderToken(curToken, tokenStartIndex, doc); tokenStartIndex += curToken.length(); } if (renderLinks && !linkRendered) { linkedObjectComponent.setLinkedObject(null); } }
private void navigateToObject() { OWLObject object = linkedObjectComponent.getLinkedObject(); if (!(object instanceof OWLEntity)) { return; } editorKit.getWorkspace().getOWLSelectionModel().setSelectedEntity((OWLEntity) object); editorKit.getWorkspace().displayOWLEntity((OWLEntity) object); }
private void doUpdate(Point mousePoint) { // Repaint the last rectangle if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } // Store the cell rect as the last cell rect rect = linkedObjectComponent.getMouseCellRect(); if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } }
private void renderHyperlink(OWLEntity curEntity, int tokenStartIndex, int tokenLength, StyledDocument doc) { try { Rectangle startRect = textPane.modelToView(tokenStartIndex); Rectangle endRect = textPane.modelToView(tokenStartIndex + tokenLength); if (startRect != null && endRect != null) { int width = endRect.x - startRect.x; int heght = startRect.height; Rectangle tokenRect = new Rectangle(startRect.x, startRect.y, width, heght); tokenRect.grow(0, -2); Point mouseCellLocation = linkedObjectComponent.getMouseCellLocation(); if (mouseCellLocation != null) { mouseCellLocation = SwingUtilities.convertPoint(renderingComponent, mouseCellLocation, textPane); if (tokenRect.contains(mouseCellLocation)) { doc.setCharacterAttributes(tokenStartIndex, tokenLength, linkStyle, false); linkedObjectComponent.setLinkedObject(curEntity); linkRendered = true; } } } } catch (BadLocationException e) { e.printStackTrace(); } }
public void dispose() { linkedObjectComponent.getComponent().removeMouseMotionListener(mouseMotionListener); linkedObjectComponent.getComponent().removeMouseListener(mouseListener); }
protected void highlightText(StyledDocument doc, boolean selected) { // Highlight text StringTokenizer tokenizer = new StringTokenizer(textPane.getText(), " []{}(),\n\t'", true); linkRendered = false; annotURIRendered = false; int tokenStartIndex = 0; while (tokenizer.hasMoreTokens()) { // Get the token and determine if it is a keyword or // entity (or delimeter) String curToken = tokenizer.nextToken(); if (curToken.equals("'")) { while (tokenizer.hasMoreTokens()) { String s = tokenizer.nextToken(); curToken += s; if (s.equals("'")) { break; } } } renderToken(curToken, tokenStartIndex, doc, selected); tokenStartIndex += curToken.length(); } if (renderLinks && !linkRendered) { linkedObjectComponent.setLinkedObject(null); } }
private void navigateToObject() { OWLObject object = linkedObjectComponent.getLinkedObject(); if (!(object instanceof OWLEntity)) { return; } editorKit.getWorkspace().getOWLSelectionModel().setSelectedEntity((OWLEntity) object); editorKit.getWorkspace().displayOWLEntity((OWLEntity) object); }
private void doUpdate(Point mousePoint) { // Repaint the last rectangle if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } // Store the cell rect as the last cell rect rect = linkedObjectComponent.getMouseCellRect(); if (rect != null) { linkedObjectComponent.getComponent().repaint(rect); } }