Lurch web app user interface

Module

ExpressionAtoms

This file installs one tool into the user interface, a menu item for inserting an inline atom into the document, one that allows the user to write mathematical expressions and declarations in a variety of editing modes. Beginner mode uses the MathLive editor, which is probably easiest for new users. Intermediate mode has the greatest UI complexity, including drop-down menus for statements vs. assumptions vs. all types of declarations, and permitting expression input using Lurch notation or the MathLive editor. Advanced mode is a minimalistic dialog in which the user can enter only Lurch notation, and see a preview of it typeset before confirming their edits.

Source

Classes

Expression

Methods

static

install(editor)

Install into a TinyMCE editor instance a new menu item: "Expression," intended for the Insert menu. It creates an inline atom that can be inserted into the user's document, then initiates editing on it, so that the user can customize it and then confirm or cancel the insertion of it. The inline atom represents a mathematical expression or declaration.

Parameters

  • editor tinymce.Editor

    the TinyMCE editor instance into which the new menu item should be installed

Source