plugin.properties file

The plugin.properties file is used to store configuration properties that are set by the plug-in installation process. The file is located in the lib/org.dita.dost.platform directory; it is regenerated each time the installation process is run and so should not be edited manually.

`t`	Open the topic finder to filter the list of topic titles
`s`	Use the search field to find text in topic content
`?`	Show this list of keyboard shortcuts