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

📄 border.scala

📁 JAVA 语言的函数式编程扩展
💻 SCALA
字号:
package scala.swingimport java.awt.Colorimport javax.swing.{Icon, BorderFactory}import javax.swing.border._/** * @see javax.swing.BorderFactory */object Border {  def Empty = BorderFactory.createEmptyBorder()  def Empty(top: Int, left: Int, bottom: Int, right: Int) =     BorderFactory.createEmptyBorder(top, left, bottom, right)      def Line(c: Color) = BorderFactory.createLineBorder(c)  def Line(c: Color, weight: Int) = BorderFactory.createLineBorder(c, weight)      def Beveled(kind: Embossing) = BorderFactory.createBevelBorder(kind.bevelPeer)  def Beveled(kind: Embossing, highlight: Color, shadow: Color) =     BorderFactory.createBevelBorder(kind.bevelPeer, highlight, shadow)  def Beveled(kind: Embossing,               highlightOuter: Color, highlightInner: Color,               shadowOuter: Color, shadowInner: Color) =     BorderFactory.createBevelBorder(kind.bevelPeer,           highlightOuter, highlightInner,          shadowOuter, shadowInner)        sealed abstract class Embossing {    def bevelPeer: Int    def etchPeer: Int  }    case object Lowered extends Embossing {    def bevelPeer = BevelBorder.LOWERED    def etchPeer = EtchedBorder.LOWERED  }  case object Raised extends Embossing {    def bevelPeer = BevelBorder.RAISED    def etchPeer = EtchedBorder.RAISED  }      def Etched = BorderFactory.createEtchedBorder()  def Etched(kind: Embossing) =    BorderFactory.createEtchedBorder(kind.etchPeer)  def Etched(kind: Embossing, highlight: Color, shadow: Color) =    BorderFactory.createEtchedBorder(kind.etchPeer, highlight, shadow)  def Matte(top: Int, left: Int, bottom: Int, right: Int, color: Color) =    BorderFactory.createMatteBorder(top, left, bottom, right, color)  def Matte(top: Int, left: Int, bottom: Int, right: Int, icon: Icon) =    BorderFactory.createMatteBorder(top, left, bottom, right, icon)        def Compound(outside: Border, inside: Border) =     BorderFactory.createCompoundBorder(outside, inside)        def Titled(border: Border, title: String) =     BorderFactory.createTitledBorder(border, title)  }

⌨️ 快捷键说明

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