Packages

o

at.logic.gapt.prooftool

RGBColorChooser

object RGBColorChooser extends Dialog

Source
RGBColorChooser.scala
Linear Supertypes
Dialog, RichWindow, Window, RootPanel, Container, UIElement, LazyPublisher, Publisher, Reactor, Proxy, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. RGBColorChooser
  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
    Definition Classes
    RichWindow
  2. trait SuperMixin extends Window
    Attributes
    protected
    Definition Classes
    Window

Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. def apply(c: Component, x: Int, y: Int): Option[Color]
  5. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  6. def background: Color
    Definition Classes
    UIElement
  7. def background_=(c: Color): Unit
    Definition Classes
    UIElement
  8. def bounds: Rectangle
    Definition Classes
    UIElement
  9. def bounds_=(rect: Rectangle): Unit
    Definition Classes
    Window
  10. def centerOnScreen(): Unit
    Definition Classes
    Window
  11. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @native() @throws( ... )
  12. def close(): Unit
    Definition Classes
    Window
  13. def closeOperation(): Unit
    Definition Classes
    Window
  14. def color: Option[Color]
  15. def componentOrientation: ComponentOrientation
    Definition Classes
    UIElement
  16. def componentOrientation_=(x: ComponentOrientation): Unit
    Definition Classes
    UIElement
  17. def contents: Seq[Component]
    Definition Classes
    RootPanel → Container
  18. def contents_=(c: Component): Unit
    Definition Classes
    Window → RootPanel
  19. def cursor: Cursor
    Definition Classes
    UIElement
  20. def cursor_=(c: Cursor): Unit
    Definition Classes
    UIElement
  21. def deafTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  22. def defaultButton: Option[Button]
    Definition Classes
    Window
  23. def defaultButton_=(b: Option[Button]): Unit
    Definition Classes
    Window
  24. def defaultButton_=(b: Button): Unit
    Definition Classes
    Window
  25. def displayable: Boolean
    Definition Classes
    UIElement
  26. def dispose(): Unit
    Definition Classes
    Window
  27. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  28. def equals(that: Any): Boolean
    Definition Classes
    Proxy → Any
  29. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  30. def font: Font
    Definition Classes
    UIElement
  31. def font_=(f: Font): Unit
    Definition Classes
    UIElement
  32. def foreground: Color
    Definition Classes
    UIElement
  33. def foreground_=(c: Color): Unit
    Definition Classes
    UIElement
  34. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  35. def hashCode(): Int
    Definition Classes
    Proxy → Any
  36. def ignoreRepaint: Boolean
    Definition Classes
    UIElement
  37. def ignoreRepaint_=(b: Boolean): Unit
    Definition Classes
    UIElement
  38. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  39. def listenTo(ps: Publisher*): Unit
    Definition Classes
    Reactor
  40. val listeners: RefSet[Reaction] { val underlying: scala.collection.mutable.HashSet[scala.ref.Reference[scala.swing.Reactions.Reaction]] }
    Attributes
    protected
    Definition Classes
    Publisher
  41. def locale: Locale
    Definition Classes
    UIElement
  42. def location: Point
    Definition Classes
    UIElement
  43. def locationOnScreen: Point
    Definition Classes
    UIElement
  44. def location_=(p: Point): Unit
    Definition Classes
    Window
  45. def maximumSize: Dimension
    Definition Classes
    UIElement
  46. def maximumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  47. def menuBar: MenuBar
    Definition Classes
    RichWindow
  48. def menuBar_=(m: MenuBar): Unit
    Definition Classes
    RichWindow
  49. def minimumSize: Dimension
    Definition Classes
    UIElement
  50. def minimumSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  51. def modal: Boolean
    Definition Classes
    Dialog
  52. def modal_=(b: Boolean): Unit
    Definition Classes
    Dialog
  53. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  54. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  55. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  56. def onFirstSubscribe(): Unit
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  57. def onLastUnsubscribe(): Unit
    Attributes
    protected
    Definition Classes
    UIElement → LazyPublisher
  58. def open(): Unit
    Definition Classes
    Window
  59. def owner: Window
    Definition Classes
    Window
  60. def pack(): RGBColorChooser.this.type
    Definition Classes
    Window
  61. lazy val peer: JDialog with InterfaceMixin
    Definition Classes
    Dialog → RichWindow → Window → RootPanel → UIElement
  62. def preferredSize: Dimension
    Definition Classes
    UIElement
  63. def preferredSize_=(x: Dimension): Unit
    Definition Classes
    UIElement
  64. def publish(e: Event): Unit
    Definition Classes
    Publisher
  65. val reactions: Reactions
    Definition Classes
    Reactor
  66. def repaint(rect: Rectangle): Unit
    Definition Classes
    UIElement
  67. def repaint(): Unit
    Definition Classes
    UIElement
  68. def resizable: Boolean
    Definition Classes
    RichWindow
  69. def resizable_=(b: Boolean): Unit
    Definition Classes
    RichWindow
  70. def self: Component
    Definition Classes
    UIElement → Proxy
  71. def setLocationRelativeTo(c: UIElement): Unit
    Definition Classes
    Window
  72. def showing: Boolean
    Definition Classes
    UIElement
  73. def size: Dimension
    Definition Classes
    UIElement
  74. def size_=(size: Dimension): Unit
    Definition Classes
    Window
  75. def subscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  76. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  77. def title: String
    Definition Classes
    RichWindow
  78. def title_=(s: String): Unit
    Definition Classes
    RichWindow
  79. def toString(): String
    Definition Classes
    Proxy → Any
  80. def toolkit: Toolkit
    Definition Classes
    UIElement
  81. def unsubscribe(listener: Reaction): Unit
    Definition Classes
    LazyPublisher → Publisher
  82. def validate(): Unit
    Definition Classes
    UIElement
  83. def visible: Boolean
    Definition Classes
    UIElement
  84. def visible_=(b: Boolean): Unit
    Definition Classes
    UIElement
  85. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  86. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  87. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @native() @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