Object

at.logic.gapt.prooftool

MenuButtons

Related Doc: package prooftool

Permalink

object MenuButtons

An object that contains some common menu buttons.

Source
MenuButtons.scala
Linear Supertypes
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. MenuButtons
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  6. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  7. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  8. def exportToPDFButton(main: ProofToolViewer[_]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer

    returns

    A menu button that calls main's exportToPDF function.

  9. def exportToPNGButton(main: ProofToolViewer[_]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer

    returns

    A menu button that calls main's exportToPNG function.

  10. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  11. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  12. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  13. def hideContextsButton(main: ProofToolViewer[_] with ContainsLKProof): CheckMenuItem

    Permalink

    main

    An instance of ProoftoolViewer with ContainsLKProof.

    returns

    A menu button that calls main's hideSequentContext/showAllFormulas function.

  14. def hideStructuralRulesButton(main: ProofToolViewer[_] with ContainsLKProof): CheckMenuItem

    Permalink

    main

    An instance of ProoftoolViewer with ContainsLKProof.

    returns

    A menu button that calls main's hideStructuralRules/showAllRules function.

  15. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  16. def marCutAncestorsButton(main: ProofToolViewer[_] with ContainsLKProof): CheckMenuItem

    Permalink

    main

    An instance of ProoftoolViewer with ContainsLKProof.

    returns

    A menu button that calls main's markCutAncestors/removeMarking function.

  17. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  18. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  19. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  20. def openButton(main: ProofToolViewer[_]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer

    returns

    A menu button that calls main's fOpen function.

  21. def saveAsButton[T](main: ProofToolViewer[T] with Savable[T]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer with Savable.

    returns

    A menu button that calls main's saveAs function.

  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  23. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  24. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  27. def zoomInButton(main: ProofToolViewer[_]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer

    returns

    A menu button that calls main's zoomIn function.

  28. def zoomOutButton(main: ProofToolViewer[_]): MenuItem

    Permalink

    main

    An instance of ProoftoolViewer

    returns

    A menu button that calls main's zoomOUt function.

Inherited from AnyRef

Inherited from Any

Ungrouped