The jEdit plugin based on MMT yields an IDE for MMT content.
This section is about the setup of the jEdit plugin. The functionality is described here
When running MMT for the first time, it will ask whether you want to setup the jEdit support. To do that, you have to install jEdit before you run MMT. Use the following instructions:
Global Options, then
Text Areaon the left and change the
Text fonton the right.
.mmt, e.g., the ons in the
MathHub/MMT/examples/sourcefolder produced during MMT setup.
The MMT plugin depends on the following other jEdit plugins
During setup, MMT will try to automatically download and configure these so that normally no further steps are needed.
However, if something goes wrong, you can also install these plugins manually: click on the
Plugins menu, then
Plugin Manager, then click on the
Install tab, check the plugins you want to install and click
Configuration the MMT plugin is optional. But some steps may be useful.
It is advisable to make the following general jEdit configurations:
Abbreviations: Select the setting ‘expand abbreviations on space’ to activate the abbreviations that come with the plugin.
Parsing: Select the setting of the Sidekick plugin to automatically parse the buffer. This activates the parsing/type-checking of the MMT plugin and populates the SideKick tree and the ErrorList list. It is recommended to deactivate the menu option
parse on key in the area
Auto parsing settings, since parsing tends to defocus the text area making it difficult to type continuously.
Plugins: Browse the plugin manager and install all additional plugins you fancy. I recommend BufferTabs, CandyFolds, DirtyGutter, SuperAbbrevs, WhiteSpace, and XML.
Encoding: Set UTF-8 as your default encoding in the Options/Encodings.
While using jEdit, the current files are constantly checked and maintained in memory.
To store the results persistently, you need to build the files. This can be done by