Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Section
Column
width45%

Anchor
dictionary
dictionary

Dictionary

A dictionary can be added to a script for helping the user to look up words and definitions. These words have to be configured in a dictionary file. The key dictionaryFile contains the path to such a dictionary file. This key may In the section dictionaryFiles, a dictionary file can be specified for an arbitrary number of times in the section dictionaryFileslanguages, but only one dictionary file per language is supported. The schema for a dictionary file is as shown on the right. The definition field can also contain a file. In that case the specified file will be openend opened when the dictionary entry is clicked.

Column

...