src/main/scala/jp/ymir/taskReporter/ui/TaskEditor.scala

   1 package jp.ymir.taskReporter.ui
   2 import com.toedter.calendar._
   3 import java.awt.Insets
   4 import scala.swing._
   5
   6 class TaskEditor extends GridBagPanel {
   7   import GridBagPanel.Anchor._
   8   import GridBagPanel.Fill._
   9
  10   val commonInsets = new Insets(2, 3, 2, 3)
  11
  12   add(
  13     new Label("報告日"),
  14     new Constraints() { gridx = 0; gridy = 0 })
  15   add(
  16     Component.wrap(new JDateChooser() {
  17       setDateFormatString("yyyy-MM-dd")
  18       getJCalendar().setTodayButtonVisible(true)
  19       getJCalendar().setWeekOfYearVisible(false)
  20     }),
  21     new Constraints() {
  22       gridx = 1; gridy = 0; anchor = West
  23       ipadx = 3; ipady = 3; insets = commonInsets
  24     })
  25
  26   add(
  27     new Label("チケットID"),
  28     new Constraints() { gridx = 0; gridy = 1 })
  29   add(
  30     new TextField(6) {
  31       val isDigit = (c : Char) => c >= '0' && c <= '9'
  32       inputVerifier = _ => wrapString(text).forall(isDigit)
  33       peer.setMargin(commonInsets)
  34     },
  35     new Constraints() {
  36       gridx = 1; gridy = 1; anchor = West; insets = commonInsets
  37     })
  38
  39   add(
  40     new Label("作業名"),
  41     new Constraints() { gridx = 0; gridy = 2 })
  42   add(
  43     new TextField() {
  44       peer.setMargin(commonInsets)
  45     },
  46     new Constraints() {
  47       gridx = 1; gridy = 2; fill = Horizontal; weightx = 1.0
  48       insets = commonInsets
  49     })
  50 }