equal
deleted
inserted
replaced
100 } |
100 } |
101 } |
101 } |
102 } |
102 } |
103 |
103 |
104 def apply(contents: List[Component] = Nil, |
104 def apply(contents: List[Component] = Nil, |
105 alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Center): Wrap_Panel = |
105 alignment: Alignment.Value = Alignment.Right): Wrap_Panel = |
106 new Wrap_Panel(contents, alignment) |
106 new Wrap_Panel(contents, alignment) |
107 } |
107 } |
108 |
108 |
109 class Wrap_Panel(contents0: List[Component] = Nil, |
109 class Wrap_Panel(contents0: List[Component] = Nil, |
110 alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Center) |
110 alignment: Wrap_Panel.Alignment.Value = Wrap_Panel.Alignment.Right) |
111 extends Panel with SequentialContainer.Wrapper |
111 extends Panel with SequentialContainer.Wrapper |
112 { |
112 { |
113 override lazy val peer: JPanel = |
113 override lazy val peer: JPanel = |
114 new JPanel(new Wrap_Panel.Layout(alignment.id)) with SuperMixin |
114 new JPanel(new Wrap_Panel.Layout(alignment.id)) with SuperMixin |
115 |
115 |