kbcv.model.MainApplet

ui

object ui extends UI with Openable

The user-interface used in the applet.

Definition Classes
MainApplet → Applet
Linear Supertypes
Openable, UI, RootPanel, Container, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. ui
  2. Openable
  3. UI
  4. RootPanel
  5. Container
  6. UIElement
  7. LazyPublisher
  8. Publisher
  9. Reactor
  10. Proxy
  11. AnyRef
  12. Any
Visibility
  1. Public
  2. All

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. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any
  7. def background : Color

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

    Definition Classes
    UIElement
  9. def bounds : Rectangle

    Definition Classes
    UIElement
  10. def clone (): AnyRef

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  11. def contents : Seq[Component]

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

    Definition Classes
    UI → RootPanel
  13. def cursor : Cursor

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

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

    Definition Classes
    Reactor
  16. def displayable : Boolean

    Definition Classes
    UIElement
  17. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  18. def equals (that: Any): Boolean

    Definition Classes
    Proxy → AnyRef → Any
  19. def finalize (): Unit

    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws()
  20. def font : Font

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

    Definition Classes
    UIElement
  22. def foreground : Color

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

    Definition Classes
    UIElement
  24. def getClass (): java.lang.Class[_]

    Attributes
    final
    Definition Classes
    AnyRef → Any
  25. def hashCode (): Int

    Definition Classes
    Proxy → AnyRef → Any
  26. def ignoreRepaint : Boolean

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

    Definition Classes
    UIElement
  28. def init (): Unit

    Definition Classes
    ui → UI
  29. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any
  30. def listenTo (ps: Publisher*): Unit

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

    Attributes
    protected
    Definition Classes
    Publisher
  32. def locale : Locale

    Definition Classes
    UIElement
  33. def location : Point

    Definition Classes
    UIElement
  34. def locationOnScreen : Point

    Definition Classes
    UIElement
  35. val mainPanel : WebGUI

  36. def maximumSize : Dimension

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

    Definition Classes
    UIElement
  38. def minimumSize : Dimension

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

    Definition Classes
    UIElement
  40. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef
  41. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  42. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
  43. def onFirstSubscribe (): Unit

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

    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  45. def openAbout : Unit

    To open the about dialog in the applet version.

    To open the about dialog in the applet version.

    Definition Classes
    uiOpenable
  46. def openAdd : Unit

    To open the add dialog in the applet version.

    To open the add dialog in the applet version.

    Definition Classes
    uiOpenable
  47. def openApel : Unit

    To open the equational logic proof dialog in the applet version.

    To open the equational logic proof dialog in the applet version.

    Definition Classes
    uiOpenable
  48. def openAutComp : Unit

    To open the automatic completion dialog in the applet version.

    To open the automatic completion dialog in the applet version.

    Definition Classes
    uiOpenable
  49. def openFileDialog (str: String): Unit

    To open a file dialog in the applet version.

    To open a file dialog in the applet version.

    str

    a string specifying if an open or save dialog is needed

    Definition Classes
    uiOpenable
  50. def openHelp : Unit

    To open the help dialog in the applet version.

    To open the help dialog in the applet version.

    Definition Classes
    uiOpenable
  51. def openLicense : Unit

    To open the license dialog in the applet version.

    To open the license dialog in the applet version.

    Definition Classes
    uiOpenable
  52. def peer : Applet

    Definition Classes
    UI → RootPanel → UIElement
  53. def preferredSize : Dimension

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

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

    Definition Classes
    Publisher
  56. val reactions : Reactions

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

    Definition Classes
    UIElement
  58. def repaint (): Unit

    Definition Classes
    UIElement
  59. def self : Component

    Definition Classes
    UIElement → Proxy
  60. def showing : Boolean

    Definition Classes
    UIElement
  61. def size : Dimension

    Definition Classes
    UIElement
  62. def start (): Unit

    Definition Classes
    UI
  63. def stop (): Unit

    Definition Classes
    UI
  64. def subscribe (listener: Reaction): Unit

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

    Attributes
    final
    Definition Classes
    AnyRef
  66. def toString (): String

    Definition Classes
    Proxy → AnyRef → Any
  67. def toolkit : Toolkit

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

    Definition Classes
    LazyPublisher → Publisher
  69. def updateApel : Unit

    Definition Classes
    uiOpenable
  70. def visible : Boolean

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

    Definition Classes
    UIElement
  72. def wait (): Unit

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

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

Deprecated Value Members

  1. def size_= (dim: Dimension): Unit

    Definition Classes
    UIElement
    Annotations
    @deprecated
    Deprecated

    Explicit size assignment for UIElements is not supported anymore. Use a layout manager or subclass Window.

Inherited from Openable

Inherited from UI

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