kbcv.view.gui

GMenu

class GMenu extends MenuBar

Linear Supertypes
MenuBar, Wrapper, Wrapper, SequentialContainer, Container, Component, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. Hide All
  2. Show all
  1. GMenu
  2. MenuBar
  3. Wrapper
  4. Wrapper
  5. SequentialContainer
  6. Container
  7. Component
  8. UIElement
  9. LazyPublisher
  10. Publisher
  11. Reactor
  12. Proxy
  13. AnyRef
  14. Any
Visibility
  1. Public
  2. All

Instance Constructors

  1. new GMenu (g: SwingView)

  2. new GMenu (g: SwingView, f: Boolean)

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. val _contents : Content

    Attributes
    protected
    Definition Classes
    Wrapper

  7. val about : MenuItem

  8. val addEquations : MenuItem

  9. val addFile : MenuItem

  10. val apel : MenuItem

  11. def asInstanceOf [T0] : T0

    Attributes
    final
    Definition Classes
    Any

  12. val autComp : MenuItem

  13. def background : Color

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  15. def border : Border

    Definition Classes
    Component

  16. def border_= (b: Border): Unit

    Definition Classes
    Component

  17. def bounds : Rectangle

    Definition Classes
    UIElement

  18. val clear : MenuItem

  19. def clone (): AnyRef

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

  20. val collapse : MenuItem

  21. val compose : MenuItem

  22. val contents : Buffer[Component]

    Definition Classes
    Wrapper → Wrapper → SequentialContainer → Container

  23. def cursor : Cursor

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

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

    Definition Classes
    Reactor

  26. val decFontSize : MenuItem

  27. val deduce : MenuItem

  28. val delete : MenuItem

  29. def displayable : Boolean

    Definition Classes
    UIElement

  30. val editMenu : Menu

  31. def enabled : Boolean

    Definition Classes
    Component

  32. def enabled_= (b: Boolean): Unit

    Definition Classes
    Component

  33. def eq (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  34. def equals (that: Any): Boolean

    Definition Classes
    Proxy → AnyRef → Any

  35. val exit : MenuItem

  36. val expertMode : RadioMenuItem

  37. val exportCPs : MenuItem

  38. val exportCmdLog : MenuItem

  39. val exportCompProof : MenuItem

  40. val exportEqProofTree : MenuItem

  41. val exportEquations : MenuItem

  42. val exportRules : MenuItem

  43. val fileMenu : Menu

  44. def finalize (): Unit

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

  45. def focusable : Boolean

    Definition Classes
    Component

  46. def focusable_= (b: Boolean): Unit

    Definition Classes
    Component

  47. def font : Font

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  49. def foreground : Color

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

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

    Attributes
    final
    Definition Classes
    AnyRef → Any

  52. def hasFocus : Boolean

    Definition Classes
    Component

  53. def hashCode (): Int

    Definition Classes
    Proxy → AnyRef → Any

  54. val helpMenu : Menu

  55. def ignoreRepaint : Boolean

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  57. val incFontSize : MenuItem

  58. var initP : JComponent

    Definition Classes
    Component

  59. def inputVerifier : (Component) ⇒ Boolean

    Definition Classes
    Component

  60. def inputVerifier_= (v: (Component) ⇒ Boolean): Unit

    Definition Classes
    Component

  61. def isInstanceOf [T0] : Boolean

    Attributes
    final
    Definition Classes
    Any

  62. val license : MenuItem

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

    Definition Classes
    Reactor

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

    Attributes
    protected
    Definition Classes
    Publisher

  65. val loadCmdLog : MenuItem

  66. val loadFile : MenuItem

  67. def locale : Locale

    Definition Classes
    UIElement

  68. def location : Point

    Definition Classes
    UIElement

  69. def locationOnScreen : Point

    Definition Classes
    UIElement

  70. val lpo : RadioMenuItem

  71. def maximumSize : Dimension

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  73. def menus : Seq[Menu]

    Definition Classes
    MenuBar

  74. def minimumSize : Dimension

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  76. val mode : Menu

  77. val mutex2 : ButtonGroup

  78. val mutex3 : ButtonGroup

  79. def name : String

    Definition Classes
    Component

  80. def name_= (s: String): Unit

    Definition Classes
    Component

  81. def ne (arg0: AnyRef): Boolean

    Attributes
    final
    Definition Classes
    AnyRef

  82. val normalMode : RadioMenuItem

  83. def notify (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  84. def notifyAll (): Unit

    Attributes
    final
    Definition Classes
    AnyRef

  85. def onFirstSubscribe (): Unit

    Attributes
    protected
    Definition Classes
    Component → UIElement → LazyPublisher

  86. def onLastUnsubscribe (): Unit

    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher

  87. def opaque : Boolean

    Definition Classes
    Component

  88. def opaque_= (b: Boolean): Unit

    Definition Classes
    Component

  89. val operations : Menu

  90. val orientLR : MenuItem

  91. val orientRL : MenuItem

  92. def paint (g: Graphics2D): Unit

    Definition Classes
    Component

  93. def paintBorder (g: Graphics2D): Unit

    Attributes
    protected
    Definition Classes
    Component

  94. def paintChildren (g: Graphics2D): Unit

    Attributes
    protected
    Definition Classes
    Component

  95. def paintComponent (g: Graphics2D): Unit

    Attributes
    protected
    Definition Classes
    Component

  96. lazy val peer : JMenuBar

    Definition Classes
    MenuBar → Wrapper → Component → UIElement

  97. def preferredSize : Dimension

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  99. def publish (e: Event): Unit

    Definition Classes
    Publisher

  100. val reactions : Reactions

    Definition Classes
    Reactor

  101. val redo : MenuItem

  102. def repaint (rect: Rectangle): Unit

    Definition Classes
    UIElement

  103. def repaint (): Unit

    Definition Classes
    UIElement

  104. def requestFocus (): Unit

    Definition Classes
    Component

  105. def requestFocusInWindow (): Boolean

    Definition Classes
    Component

  106. val resFontSize : MenuItem

  107. val reset : MenuItem

  108. def revalidate (): Unit

    Definition Classes
    Component

  109. def self : Component

    Definition Classes
    UIElement → Proxy

  110. val settingsMenu : Menu

  111. def showing : Boolean

    Definition Classes
    UIElement

  112. val simplify : MenuItem

  113. def size : Dimension

    Definition Classes
    UIElement

  114. def subscribe (listener: Reaction): Unit

    Definition Classes
    LazyPublisher → Publisher

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

    Attributes
    final
    Definition Classes
    AnyRef

  116. val termMenu : Menu

  117. val termtool : RadioMenuItem

  118. def toString (): String

    Definition Classes
    Component → Proxy → AnyRef → Any

  119. def toolkit : Toolkit

    Definition Classes
    UIElement

  120. def tooltip : String

    Definition Classes
    Component

  121. def tooltip_= (t: String): Unit

    Definition Classes
    Component

  122. val undo : MenuItem

  123. def unsubscribe (listener: Reaction): Unit

    Definition Classes
    LazyPublisher → Publisher

  124. def update (u: Boolean, r: Boolean, l: Boolean, e: Boolean): Unit

  125. def updateFontMenu (ub: Int, lb: Int, currSize: Int): Unit

  126. val userManual : MenuItem

  127. val viewMenu : Menu

  128. def visible : Boolean

    Definition Classes
    UIElement

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

    Definition Classes
    UIElement

  130. def wait (): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

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

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  132. def wait (arg0: Long): Unit

    Attributes
    final
    Definition Classes
    AnyRef
    Annotations
    @throws()

  133. def xLayoutAlignment : Double

    Definition Classes
    Component

  134. def xLayoutAlignment_= (x: Double): Unit

    Definition Classes
    Component

  135. def yLayoutAlignment : Double

    Definition Classes
    Component

  136. def yLayoutAlignment_= (y: Double): Unit

    Definition Classes
    Component

Deprecated Value Members

  1. lazy val Mouse : GMenu.this.mouse.type

    Definition Classes
    Component
    Annotations
    @deprecated
    Deprecated

    Use mouse instead

  2. 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 MenuBar

Inherited from Wrapper

Inherited from Wrapper

Inherited from SequentialContainer

Inherited from Container

Inherited from Component

Inherited from UIElement

Inherited from LazyPublisher

Inherited from Publisher

Inherited from Reactor

Inherited from Proxy

Inherited from AnyRef

Inherited from Any