/** Change the color of a tag in this plugin's internal model */ public void localSetIntentionTypeColor(long typeId, int colorIndex) { activeIntentionTypes.get(typeId).setColorIndex(colorIndex); if (CanvasPerspective.getInstance().isActive()) { CanvasTagPanel.getInstance().refresh(); } }
public CIntentionType getIntentionType(long typeId) { return activeIntentionTypes.get(typeId); }
public Collection<CIntentionType> getActiveIntentionTypes() { return activeIntentionTypes.values(); }
/** Remove a tag from this plugin's internal model */ public void localRemoveIntentionType(long typeId) { activeIntentionTypes.remove(typeId); CanvasTagPanel.getInstance().updateIntentionTypes(); }
/** Rename a tag in this plugin's internal model */ public void localRenameIntentionType(long typeId, String name) { activeIntentionTypes.get(typeId).setName(name); CanvasTagPanel.getInstance().updateIntentionTypes(); }
/** Add a new tag to this plugin's internal model */ public void localAddIntentionType(CIntentionType type) { activeIntentionTypes.put(type.getId(), type); CanvasTagPanel.getInstance().updateIntentionTypes(); }