An instance of ProoftoolViewer
A menu button that calls main's exportToPDF function.
An instance of ProoftoolViewer
A menu button that calls main's exportToPNG function.
An instance of ProoftoolViewer with ContainsLKProof.
A menu button that calls main's hideSequentContext/showAllFormulas function.
An instance of ProoftoolViewer with ContainsLKProof.
A menu button that calls main's hideStructuralRules/showAllRules function.
An instance of ProoftoolViewer with ContainsLKProof.
A menu button that calls main's markCutAncestors/removeMarking function.
An instance of ProoftoolViewer
A menu button that calls main's fOpen function.
An instance of ProoftoolViewer with Savable.
A menu button that calls main's saveAs function.
An instance of ProoftoolViewer
A menu button that calls main's zoomIn function.
An instance of ProoftoolViewer
A menu button that calls main's zoomOUt function.
An object that contains some common menu buttons.