gapt
2.19.0-SNAPSHOT
API
Generated with
gapt/gapt/gapt.prooftool/ScrollableProofToolViewer

ScrollableProofToolViewer

gapt.prooftool.ScrollableProofToolViewer
abstract class ScrollableProofToolViewer[+T](name: String, content: T) extends ProofToolViewer[T]

A Prooftool window where the main component is contained in a ScrollPane.

Type parameters

T

The type of content.

Value parameters

content

The object to be displayed.

name

The name to be displayed at the top.

Attributes

Source
ProofToolViewer.scala
Graph
Supertypes
class ProofToolViewer[T]
trait Reactor
class Object
trait Matchable
class Any
Known subtypes
class DagProofViewer[T]
class SequentProofViewer[F, T]
class ListViewer
class StructViewer
Show all

Members list

Type members

Inherited types

type MainComponentType <: Component

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala

Value members

Concrete methods

override def contentPanel_=(p: PTContentPanel): Unit

Attributes

Definition Classes
Source
ProofToolViewer.scala
override def mainPanel: Component

Attributes

Definition Classes
Source
ProofToolViewer.scala

Inherited methods

def contentPanel: PTContentPanel

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def createChooser(extensions: String*): FileChooser

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def currentFontSize: Int

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def currentFontSize_=(sz: Int): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def deafTo(ps: Publisher*): Unit

Installed reaction won't receive events from the given publisher anylonger.

Installed reaction won't receive events from the given publisher anylonger.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
def debugMenuContents: Seq[Component]

Attributes

Returns

The contents of the "Debug" menu.

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def decreaseFontSize(): Unit

Zooms out by multiplying font size by 2/3.

Zooms out by multiplying font size by 2/3.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def errorMessage(error: String): Unit

Displays an error message.

Displays an error message.

Value parameters

error

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def exportToPDFButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def exportToPNGButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fExportPdf(component: Component): Unit

Exports a component as a pdf.

Exports a component as a pdf.

Value parameters

component

The component to be exported.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fExportPng(component: Component): Unit

Exports a component as a PNG.

Exports a component as a PNG.

Value parameters

component

The component to be exported.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fOpen(): Unit

Opens a proof db and displays all its contents.

Opens a proof db and displays all its contents.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def fileMenuContents: Seq[Component]

Attributes

Returns

The contents of the "File" menu.

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def font: Font

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def font_=(ft: Font): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def getExceptionString(e: Throwable): String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def increaseFontSize(): Unit

Zooms in by multiplying font size by 3/2.

Zooms in by multiplying font size by 3/2.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def infoMessage(info: String): Unit

Displays an info message.

Displays an info message.

Value parameters

info

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def inputMessage(message: String, values: Seq[String]): Option[String]

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def listenTo(ps: Publisher*): Unit

Listen to the given publisher as long as deafTo isn't called for them.

Listen to the given publisher as long as deafTo isn't called for them.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
protected def openButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def questionMessage(question: String): Value

Displays a question.

Displays a question.

Value parameters

question

The text of the question.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def resizeContent(fSize: Int): Unit

Resizes the content to a new font size.

Resizes the content to a new font size.

Value parameters

fSize

The new font size.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def showDebugBordersButton: CheckMenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def showFrame(): Unit

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def viewMenuContents: Seq[Component]

Attributes

Returns

The contents of the "View" menu.

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
def warningMessage(warning: String): Unit

Displays a warning message.

Displays a warning message.

Value parameters

warning

The text of the message.

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def zoomInButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected def zoomOutButton: MenuItem

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala

Concrete fields

lazy val scrollPane: PTScrollPane

Attributes

Source
ProofToolViewer.scala

Inherited fields

var DEBUG: Boolean

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected var contentPanel_: PTContentPanel

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val defaultFontSize: Int

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val dnLine: String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
var launcher_history: List[(String, AnyRef, Int)]

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val mBar: MenuBar

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val mainComponent: MainComponentType

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
protected val nLine: String

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val publisher: ProofToolPublisher

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
val reactions: Reactions

All reactions of this reactor.

All reactions of this reactor.

Attributes

Inherited from:
Reactor
Source
Reactor.scala
lazy val top: Frame

Attributes

Inherited from:
ProofToolViewer
Source
ProofToolViewer.scala
Generated with