equal
deleted
inserted
replaced
63 } |
63 } |
64 } |
64 } |
65 |
65 |
66 class Renderer extends ListView.Renderer[Entry] |
66 class Renderer extends ListView.Renderer[Entry] |
67 { |
67 { |
68 def componentFor(list: ListView[_], |
68 def componentFor(list: ListView[_ <: Timing_Dockable.this.Entry], |
69 isSelected: Boolean, focused: Boolean, entry: Entry, index: Int): Component = |
69 isSelected: Boolean, focused: Boolean, entry: Entry, index: Int): Component = |
70 { |
70 { |
71 val component = Renderer_Component |
71 val component = Renderer_Component |
72 component.entry = entry |
72 component.entry = entry |
73 component.text = entry.print |
73 component.text = entry.print |