kbcv.view.gui

GApelDialog

class GApelDialog extends Frame

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

Instance Constructors

  1. new GApelDialog (g: SwingView)

Value Members

  1. def != (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  2. def != (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  3. def ## (): Int

    Attributes
    final
    Definition Classes
    AnyRef → Any

  4. def == (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  5. def == (arg0: Any): Boolean

    Attributes
    final
    Definition Classes
    Any

  6. object Renderer extends AbstractRenderer[String, Label]

  7. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  8. def background : Color

    Definition Classes
    UIElement

  9. def background_= (c: Color): Unit

    Definition Classes
    UIElement

  10. def bounds : Rectangle

    Definition Classes
    UIElement

  11. def bounds_= (rect: Rectangle): Unit

    Definition Classes
    Window

  12. val cancel : Button

  13. def centerOnScreen (): Unit

    Definition Classes
    Window

  14. val check : Button

  15. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  16. def close (): Unit

    Definition Classes
    Window

  17. def closeOperation (): Unit

    Definition Classes
    Window

  18. def contents : Seq[Component]

    Definition Classes
    RootPanel → Container

  19. def contents_= (c: Component): Unit

    Definition Classes
    Window → RootPanel

  20. def cursor : Cursor

    Definition Classes
    UIElement

  21. def cursor_= (c: Cursor): Unit

    Definition Classes
    UIElement

  22. def deafTo (ps: Publisher*): Unit

    Definition Classes
    Reactor

  23. def defaultButton : Option[Button]

    Definition Classes
    Window

  24. def defaultButton_= (b: Option[Button]): Unit

    Definition Classes
    Window

  25. def defaultButton_= (b: Button): Unit

    Definition Classes
    Window

  26. def displayable : Boolean

    Definition Classes
    UIElement

  27. def dispose (): Unit

    Definition Classes
    Window

  28. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  29. def equals (that: Any): Boolean

    Definition Classes
    Proxy → AnyRef → Any

  30. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()

  31. def font : Font

    Definition Classes
    UIElement

  32. def font_= (f: Font): Unit

    Definition Classes
    UIElement

  33. def foreground : Color

    Definition Classes
    UIElement

  34. def foreground_= (c: Color): Unit

    Definition Classes
    UIElement

  35. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any

  36. def hashCode (): Int

    Definition Classes
    Proxy → AnyRef → Any

  37. def iconImage : Image

    Definition Classes
    Frame

  38. def iconImage_= (i: Image): Unit

    Definition Classes
    Frame

  39. def iconified (): Unit

    Definition Classes
    Frame

  40. def iconify (): Unit

    Definition Classes
    Frame

  41. def ignoreRepaint : Boolean

    Definition Classes
    UIElement

  42. def ignoreRepaint_= (b: Boolean): Unit

    Definition Classes
    UIElement

  43. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  44. def listenTo (ps: Publisher*): Unit

    Definition Classes
    Reactor

  45. val listeners : RefSet[Reaction] { val underlying: scala.collection.mutable.HashSet[scala.ref.Reference[scala.swing.Reactions.Reaction]] }

    Attributes
    protected
    Definition Classes
    Publisher

  46. def locale : Locale

    Definition Classes
    UIElement

  47. def location : Point

    Definition Classes
    UIElement

  48. def locationOnScreen : Point

    Definition Classes
    UIElement

  49. def location_= (p: Point): Unit

    Definition Classes
    Window

  50. def maximize (): Unit

    Definition Classes
    Frame

  51. def maximized (): Unit

    Definition Classes
    Frame

  52. def maximumSize : Dimension

    Definition Classes
    UIElement

  53. def maximumSize_= (x: Dimension): Unit

    Definition Classes
    UIElement

  54. def menuBar : MenuBar

    Definition Classes
    RichWindow

  55. def menuBar_= (m: MenuBar): Unit

    Definition Classes
    RichWindow

  56. def minimumSize : Dimension

    Definition Classes
    UIElement

  57. def minimumSize_= (x: Dimension): Unit

    Definition Classes
    UIElement

  58. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  59. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  60. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  61. def onFirstSubscribe (): Unit

    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher

  62. def onLastUnsubscribe (): Unit

    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher

  63. def open (): Unit

    Definition Classes
    Window

  64. def owner : Window

    Definition Classes
    Window

  65. def pack (): GApelDialog.this.type

    Definition Classes
    Window

  66. lazy val peer : JFrame with InterfaceMixin

    Definition Classes
    Frame → RichWindow → Window → RootPanel → UIElement

  67. def preferredSize : Dimension

    Definition Classes
    UIElement

  68. def preferredSize_= (x: Dimension): Unit

    Definition Classes
    UIElement

  69. val ptl : ListView[String]

  70. def publish (e: Event): Unit

    Definition Classes
    Publisher

  71. val reactions : Reactions

    Definition Classes
    Reactor

  72. def repaint (rect: Rectangle): Unit

    Definition Classes
    UIElement

  73. def repaint (): Unit

    Definition Classes
    UIElement

  74. def resizable : Boolean

    Definition Classes
    RichWindow

  75. def resizable_= (b: Boolean): Unit

    Definition Classes
    RichWindow

  76. def self : Component

    Definition Classes
    UIElement → Proxy

  77. def setFont (size: Int): Unit

  78. def setLocationRelativeTo (c: UIElement): Unit

    Definition Classes
    Window

  79. def show (f: Boolean): Unit

  80. def show : Unit

  81. def showing : Boolean

    Definition Classes
    UIElement

  82. def size : Dimension

    Definition Classes
    UIElement

  83. def size_= (size: Dimension): Unit

    Definition Classes
    Window → UIElement

  84. def subscribe (listener: Reaction): Unit

    Definition Classes
    LazyPublisher → Publisher

  85. def synchronized [T0] (arg0: ⇒ T0): T0

    Attributes
    final
    Definition Classes
    AnyRef

  86. val textArea : TextArea

  87. val textField : TextField

  88. def title : String

    Definition Classes
    RichWindow

  89. def title_= (s: String): Unit

    Definition Classes
    RichWindow

  90. def toString (): String

    Definition Classes
    Proxy → AnyRef → Any

  91. def toolkit : Toolkit

    Definition Classes
    UIElement

  92. def uniconify (): Unit

    Definition Classes
    Frame

  93. def unmaximize (): Unit

    Definition Classes
    Frame

  94. def unsubscribe (listener: Reaction): Unit

    Definition Classes
    LazyPublisher → Publisher

  95. def update (pt: ProofTree, e0: IES): Unit

  96. def visible : Boolean

    Definition Classes
    UIElement

  97. def visible_= (b: Boolean): Unit

    Definition Classes
    UIElement

  98. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  99. def wait (arg0: Long, arg1: Int): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  100. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Inherited from Frame

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