public DeleteIndividualAction(OWLEditorKit owlEditorKit, OWLEntitySetProvider<OWLNamedIndividual> indSetProvider) { super("Delete individual(s)", new DeleteEntityIcon(new OWLIndividualIcon(OWLEntityIcon.FillType.HOLLOW))); this.owlEditorKit = owlEditorKit; this.indSetProvider = indSetProvider; }
protected int getSize() { int size; int fontSize = OWLRendererPreferences.getInstance().getFontSize(); int idealSize = fontSize + getPadding() * 2; if(sizeBias.equals(SizeBias.EVEN)) { size = (idealSize / 2) * 2; } else { size = (idealSize / 2) * 2 + 1; } return size; }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayAnnotationAnnotationsInline(isSelected()); }
private boolean hasFontSizeChanged() { int currentSize = OWLRendererPreferences.getInstance().getFontSize(); if(currentSize != lastFontSize) { lastFontSize = currentSize; return true; } return false; }
@Override protected void update() { setSelected(OWLRendererPreferences.getInstance().isDisplayThumbnailsInline()); }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayLiteralDatatypesInline(isSelected()); }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayThumbnailsInline(isSelected()); }
@Override protected void update() { setSelected(OWLRendererPreferences.getInstance().isDisplayLiteralDatatypesInline()); }
@Override protected void update() { setSelected(OWLRendererPreferences.getInstance().isDisplayAnnotationAnnotationsInline()); }
public AddIndividualAction() { super("Add individual", new AddEntityIcon(new OWLIndividualIcon())); }
protected Icon getSubIcon() { return new AddChildIcon(new OWLDataPropertyIcon()); }
protected Icon getSubIcon() { return new AddChildIcon(new OWLObjectPropertyIcon()); }
protected Icon getDeleteIcon() { return new DeleteEntityIcon(new OWLObjectPropertyIcon(OWLEntityIcon.FillType.HOLLOW)); }
protected Icon getSibIcon() { return new AddSiblingIcon(new OWLObjectPropertyIcon()); }
public void setInlineDatatypeRendering(InlineDatatypeRendering datatypeRendering) { if (this.datatypeRendering != datatypeRendering) { this.datatypeRendering = datatypeRendering; invalidateCache(); } }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayAnnotationAnnotationsInline(isSelected()); }
@Override protected void update() { setSelected(OWLRendererPreferences.getInstance().isDisplayThumbnailsInline()); }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayLiteralDatatypesInline(isSelected()); }
@Override public void actionPerformed(ActionEvent e) { OWLRendererPreferences.getInstance().setDisplayThumbnailsInline(isSelected()); }
public DeleteIndividualAction(OWLEditorKit owlEditorKit, OWLEntitySetProvider<OWLNamedIndividual> indSetProvider) { super("Delete individual(s)", new DeleteEntityIcon(new OWLIndividualIcon(OWLEntityIcon.FillType.HOLLOW))); this.owlEditorKit = owlEditorKit; this.indSetProvider = indSetProvider; }