The object to be displayed.
The object to be displayed.
Displays an error message.
Exports a component as a pdf.
Exports a component as a pdf.
The component to be exported.
Exports a component as a PNG.
Exports a component as a PNG.
The component to be exported.
Opens a proof db and displays all its contents.
Opens a proof db and displays all its contents.
Saves an object to disk.
Saves an object to disk.
The contents of the "File" menu.
Displays an info message.
The name to be displayed at the top.
The name to be displayed at the top.
Displays a question.
Resizes the content to a new font size.
The contents of the "View" menu.
Displays a warning message.
Zooms in by multiplying font size by 3/2.
Zooms in by multiplying font size by 3/2.
Zooms out by multiplying font size by 2/3.
Zooms out by multiplying font size by 2/3.