Source: xxe/editor/DocumentMarksChangedEvent.js

  1. export const CHANGE_NODE_MARK_ADDED       = 0;
  2. export const CHANGE_NODE_MARK_MOVED       = 1;
  3. export const CHANGE_NODE_MARK_REMOVED     = 2;
  4. export const CHANGE_TEXT_LOCATION_ADDED   = 3;
  5. export const CHANGE_TEXT_LOCATION_MOVED   = 4;
  6. export const CHANGE_TEXT_LOCATION_REMOVED = 5;
  8. /**
  9.  * {@link XMLEditorEvent} sent after some documents are changed 
  10.  * on the server side.
  11.  */
  12. export class DocumentMarksChangedEvent extends XMLEditorEvent {
  13.     constructor(xmlEditor, data) {
  14.         super(xmlEditor, data, "documentMarksChanged");
  15.     }
  17.     /**
  18.      * Get the <code>changes</code> property of this event.
  19.      *
  20.      * @type {array}
  21.      */
  22.     get changes() {
  23.         return this._changes;
  24.     }
  25.     
  26.     /**
  27.      * Get the <code>reason</code> property of this event.
  28.      *
  29.      * @type {string}
  30.      */
  31.     get reason() {
  32.         // Return null rather than undefined.
  33.         return !this._reason? null : this._reason;
  34.     }
  35.     
  36.     /**
  37.      * Get the <code>dragging</code> property of this event.
  38.      *
  39.      * @type {boolean}
  40.      */
  41.     get dragging() {
  42.         return (this._reason === "dragging");
  43.     }
  44.     
  45.     /**
  46.      * Get the <code>showing</code> property of this event.
  47.      *
  48.      * @type {boolean}
  49.      */
  50.     get showing() {
  51.         return (this._reason === "showing");
  52.     }
  53. }