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

📄 slider.scala

📁 JAVA 语言的函数式编程扩展
💻 SCALA
字号:
package scala.swingimport event._import Swing._/** * @see javax.swing.JSlider */class Slider(override val peer: javax.swing.JSlider) extends Component(peer) with Orientable with Publisher {  def this() = this(new javax.swing.JSlider)    def min: Int = peer.getMinimum  def min_=(v: Int) { peer.setMinimum(v) }  def max: Int = peer.getMaximum  def max_=(v: Int) { peer.setMaximum(v) }  def value: Int = peer.getValue  def value_=(v: Int) { peer.setValue(v) }  def extent: Int = peer.getExtent  def extent_=(v: Int) { peer.setExtent(v) }    def paintLabels: Boolean = peer.getPaintLabels  def paintLabels_=(v: Boolean) { peer.setPaintLabels(v) }  def paintTicks: Boolean = peer.getPaintTicks  def paintTicks_=(v: Boolean) { peer.setPaintTicks(v) }  def paintTrack: Boolean = peer.getPaintTrack  def paintTrack_=(v: Boolean) { peer.setPaintTrack(v) }    def snapToTicks: Boolean = peer.getSnapToTicks  def snapToTicks_=(v: Boolean) { peer.setSnapToTicks(v) }    def minorTickSpacing: Int = peer.getMinorTickSpacing  def minorTickSpacing_=(v: Int) { peer.setMinorTickSpacing(v) }  def majorTickSpacing: Int = peer.getMajorTickSpacing  def majorTickSpacing_=(v: Int) { peer.setMajorTickSpacing(v) }    def labels: collection.Map[Int, Label] =     new collection.jcl.MapWrapper[Int, Label] { def underlying = peer.getLabelTable.asInstanceOf[java.util.Hashtable[Int, Label]] }  def labels_=(l: collection.Map[Int, Label]) {    val table = new java.util.Hashtable[Any, Any]    for ((k,v) <- l) table.put(k, v)    peer.setLabelTable(table)  }    peer.addChangeListener(new javax.swing.event.ChangeListener {    def stateChanged(e: javax.swing.event.ChangeEvent) {       publish(ValueChanged(Slider.this, peer.getValueIsAdjusting))     }  })}

⌨️ 快捷键说明

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