2017-01-27 21:40:49 +01:00
|
|
|
// Annotation for a text item
|
|
|
|
export default class Annotation {
|
|
|
|
|
|
|
|
constructor(options) {
|
|
|
|
this.category = options.category;
|
|
|
|
this.color = options.color;
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
2017-02-11 15:42:30 +01:00
|
|
|
|
|
|
|
export const ADDED_ANNOTATION = new Annotation({
|
|
|
|
category: 'Added',
|
|
|
|
color: 'green'
|
|
|
|
});
|
|
|
|
|
|
|
|
export const REMOVED_ANNOTATION = new Annotation({
|
|
|
|
category: 'Removed',
|
|
|
|
color: 'red'
|
|
|
|
});
|
|
|
|
|
|
|
|
export const UNCHANGED_ANNOTATION = new Annotation({
|
|
|
|
category: 'Unchanged',
|
|
|
|
color: 'brown'
|
|
|
|
})
|
2017-03-11 13:42:09 +01:00
|
|
|
|
|
|
|
export const DETECTED_ANNOTATION = new Annotation({
|
|
|
|
category: 'Detected',
|
|
|
|
color: 'green'
|
|
|
|
});
|
|
|
|
|
|
|
|
export const MODIFIED_ANNOTATION = new Annotation({
|
|
|
|
category: 'Modified',
|
|
|
|
color: 'green'
|
|
|
|
});
|