⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 splitpane.scala

📁 JAVA 语言的函数式编程扩展
💻 SCALA
字号:
package scala.swingimport event._import Swing._/** * @see javax.swing.JSplitPane */class SplitPane(override val peer: javax.swing.JSplitPane) extends Component(peer) with Container with Orientable {  def this(o: Orientation.Value) = this(new javax.swing.JSplitPane(o.id))  leftComponent = new Component {}  rightComponent = new Component {}    def contents: Seq[Component] = List(leftComponent, rightComponent)  def contents_=(left: Component, right: Component) {    peer.setLeftComponent(left.peer)    peer.setRightComponent(right.peer)  }    def topComponent: Component = Component.wrapperFor(peer.getTopComponent.asInstanceOf[javax.swing.JComponent])  def topComponent_=(c: Component) { peer.setTopComponent(c.peer) }  def bottomComponent: Component = Component.wrapperFor(peer.getBottomComponent.asInstanceOf[javax.swing.JComponent])  def bottomComponent_=(c: Component) { peer.setBottomComponent(c.peer) }    def leftComponent: Component = topComponent  def leftComponent_=(c: Component) { topComponent = c }  def rightComponent: Component = bottomComponent  def rightComponent_=(c: Component) { bottomComponent = c }    def dividerLocation: Int = peer.getDividerLocation  def dividerLocation_=(n: Int) { peer.setDividerLocation(n) }  def dividerSize: Int = peer.getDividerSize  def dividerSize_=(n: Int) { peer.setDividerSize(n) }  def resizeWeight: Double = peer.getResizeWeight  def resizeWeight_=(n: Double) { peer.setResizeWeight(n) }    def resetToPreferredSizes() { peer.resetToPreferredSizes() }    def oneTouchExpandable: Boolean = peer.isOneTouchExpandable  def oneTouchExpandable_=(b: Boolean) { peer.setOneTouchExpandable(b) }  def continuousLayout: Boolean = peer.isContinuousLayout  def continuousLayout_=(b: Boolean) { peer.setContinuousLayout(b) }}

⌨️ 快捷键说明

复制代码 Ctrl + C
搜索代码 Ctrl + F
全屏模式 F11
切换主题 Ctrl + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -