1.1.10: Merge pull request #75 from d-i-t-a/develop

1.1.10

1.1.9: Merge pull request #72 from d-i-t-a/bugfix/usersettings-and-locator

fixes user settings and locator

1.2.0-alpha16

alpha version bump

1.2.0-alpha15

fixed white space between tags in splitter

1.1.8: Merge pull request #62 from d-i-t-a/develop

1.1.8 - Annotation color as VAR

1.1.7: Merge pull request #54 from d-i-t-a/fixes/optional-tts-module

check if highlighter is defined

1.1.6

Version bump 1.1.6 (selection toolbox fixes)