/** 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);
}
/** Rename a tag in this plugin's internal model */
public void localRenameIntentionType(long typeId, String name) {
activeIntentionTypes.get(typeId).setName(name);
CanvasTagPanel.getInstance().updateIntentionTypes();
}