Object

at.logic.gapt.prooftool

TextAreaDialog

Related Doc: package prooftool

Permalink

object TextAreaDialog extends Dialog

Linear Supertypes
Dialog, RichWindow, Window, RootPanel, Container, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. TextAreaDialog
  2. Dialog
  3. RichWindow
  4. Window
  5. RootPanel
  6. Container
  7. UIElement
  8. LazyPublisher
  9. Publisher
  10. Reactor
  11. Proxy
  12. AnyRef
  13. Any
  1. Hide All
  2. Show all
Visibility
  1. Public
  2. All

Type Members

  1. trait InterfaceMixin extends scala.swing.RichWindow.InterfaceMixin

    Permalink
    Definition Classes
    RichWindow
  2. trait SuperMixin extends Window

    Permalink
    Attributes
    protected
    Definition Classes
    Window

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. def apply(title: String): Option[String]

    Permalink
  5. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  6. def background: Color

    Permalink
    Definition Classes
    UIElement
  7. def background_=(c: Color): Unit

    Permalink
    Definition Classes
    UIElement
  8. def bounds: Rectangle

    Permalink
    Definition Classes
    UIElement
  9. def bounds_=(rect: Rectangle): Unit

    Permalink
    Definition Classes
    Window
  10. def centerOnScreen(): Unit

    Permalink
    Definition Classes
    Window
  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def close(): Unit

    Permalink
    Definition Classes
    Window
  13. def closeOperation(): Unit

    Permalink
    Definition Classes
    Window
  14. def componentOrientation: ComponentOrientation

    Permalink
    Definition Classes
    UIElement
  15. def componentOrientation_=(x: ComponentOrientation): Unit

    Permalink
    Definition Classes
    UIElement
  16. def contents: Seq[Component]

    Permalink
    Definition Classes
    RootPanel → Container
  17. def contents_=(c: Component): Unit

    Permalink
    Definition Classes
    Window → RootPanel
  18. def cursor: Cursor

    Permalink
    Definition Classes
    UIElement
  19. def cursor_=(c: Cursor): Unit

    Permalink
    Definition Classes
    UIElement
  20. def deafTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  21. def defaultButton: Option[Button]

    Permalink
    Definition Classes
    Window
  22. def defaultButton_=(b: Option[Button]): Unit

    Permalink
    Definition Classes
    Window
  23. def defaultButton_=(b: Button): Unit

    Permalink
    Definition Classes
    Window
  24. def displayable: Boolean

    Permalink
    Definition Classes
    UIElement
  25. def dispose(): Unit

    Permalink
    Definition Classes
    Window
  26. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  27. def equals(that: Any): Boolean

    Permalink
    Definition Classes
    Proxy → Any
  28. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  29. def font: Font

    Permalink
    Definition Classes
    UIElement
  30. def font_=(f: Font): Unit

    Permalink
    Definition Classes
    UIElement
  31. def foreground: Color

    Permalink
    Definition Classes
    UIElement
  32. def foreground_=(c: Color): Unit

    Permalink
    Definition Classes
    UIElement
  33. final def getClass(): Class[_]

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

    Permalink
    Definition Classes
    Proxy → Any
  35. def ignoreRepaint: Boolean

    Permalink
    Definition Classes
    UIElement
  36. def ignoreRepaint_=(b: Boolean): Unit

    Permalink
    Definition Classes
    UIElement
  37. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  38. def listenTo(ps: Publisher*): Unit

    Permalink
    Definition Classes
    Reactor
  39. val listeners: RefSet[Reaction] { val underlying: scala.collection.mutable.HashSet[scala.ref.Reference[scala.swing.Reactions.Reaction]] }

    Permalink
    Attributes
    protected
    Definition Classes
    Publisher
  40. def locale: Locale

    Permalink
    Definition Classes
    UIElement
  41. def location: Point

    Permalink
    Definition Classes
    UIElement
  42. def locationOnScreen: Point

    Permalink
    Definition Classes
    UIElement
  43. def location_=(p: Point): Unit

    Permalink
    Definition Classes
    Window
  44. def maximumSize: Dimension

    Permalink
    Definition Classes
    UIElement
  45. def maximumSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  46. def menuBar: MenuBar

    Permalink
    Definition Classes
    RichWindow
  47. def menuBar_=(m: MenuBar): Unit

    Permalink
    Definition Classes
    RichWindow
  48. def minimumSize: Dimension

    Permalink
    Definition Classes
    UIElement
  49. def minimumSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  50. def modal: Boolean

    Permalink
    Definition Classes
    Dialog
  51. def modal_=(b: Boolean): Unit

    Permalink
    Definition Classes
    Dialog
  52. final def ne(arg0: AnyRef): Boolean

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

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

    Permalink
    Definition Classes
    AnyRef
  55. def onFirstSubscribe(): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  56. def onLastUnsubscribe(): Unit

    Permalink
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  57. def open(): Unit

    Permalink
    Definition Classes
    Window
  58. def owner: Window

    Permalink
    Definition Classes
    Window
  59. def pack(): TextAreaDialog.this.type

    Permalink
    Definition Classes
    Window
  60. lazy val peer: JDialog with InterfaceMixin

    Permalink
    Definition Classes
    Dialog → RichWindow → Window → RootPanel → UIElement
  61. def preferredSize: Dimension

    Permalink
    Definition Classes
    UIElement
  62. def preferredSize_=(x: Dimension): Unit

    Permalink
    Definition Classes
    UIElement
  63. def publish(e: Event): Unit

    Permalink
    Definition Classes
    Publisher
  64. val reactions: Reactions

    Permalink
    Definition Classes
    Reactor
  65. def repaint(rect: Rectangle): Unit

    Permalink
    Definition Classes
    UIElement
  66. def repaint(): Unit

    Permalink
    Definition Classes
    UIElement
  67. def resizable: Boolean

    Permalink
    Definition Classes
    RichWindow
  68. def resizable_=(b: Boolean): Unit

    Permalink
    Definition Classes
    RichWindow
  69. def self: Component

    Permalink
    Definition Classes
    UIElement → Proxy
  70. def setLocationRelativeTo(c: UIElement): Unit

    Permalink
    Definition Classes
    Window
  71. def showing: Boolean

    Permalink
    Definition Classes
    UIElement
  72. def size: Dimension

    Permalink
    Definition Classes
    UIElement
  73. def size_=(size: Dimension): Unit

    Permalink
    Definition Classes
    Window
  74. def subscribe(listener: Reaction): Unit

    Permalink
    Definition Classes
    LazyPublisher → Publisher
  75. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  76. def text: Option[String]

    Permalink
  77. def title: String

    Permalink
    Definition Classes
    RichWindow
  78. def title_=(s: String): Unit

    Permalink
    Definition Classes
    RichWindow
  79. def toString(): String

    Permalink
    Definition Classes
    Proxy → Any
  80. def toolkit: Toolkit

    Permalink
    Definition Classes
    UIElement
  81. def unsubscribe(listener: Reaction): Unit

    Permalink
    Definition Classes
    LazyPublisher → Publisher
  82. def validate(): Unit

    Permalink
    Definition Classes
    UIElement
  83. def visible: Boolean

    Permalink
    Definition Classes
    UIElement
  84. def visible_=(b: Boolean): Unit

    Permalink
    Definition Classes
    UIElement
  85. final def wait(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Dialog

Inherited from RichWindow

Inherited from Window

Inherited from RootPanel

Inherited from Container

Inherited from UIElement

Inherited from LazyPublisher

Inherited from Publisher

Inherited from Reactor

Inherited from Proxy

Inherited from AnyRef

Inherited from Any

Ungrouped