Revision 9994d4a8 - Added MarkerManager to encapsulate marker creation/removal - EDIT - EDIT Project Management

« Previous | Next »

Revision 9994d4a8

Added by Ayco Hollemann almost 10 years ago

ID 9994d4a8037d2ddddcd12972d2071ec1f772a852
Parent 3df7c598
Child 96baca54

Added MarkerManager to encapsulate marker creation/removal

added
modified
copied
renamed
deleted

.gitattributes (diff)
eu.etaxonomy.taxeditor.editor
- plugin.xml (diff)
- src
  - main
    - java
      - eu
        etaxonomy
        taxeditor
        editor
        validation
        MarkerManager.java
        ValidationDaemon.java (diff)