()
| 123 | } |
| 124 | |
| 125 | private void scrollDown() { |
| 126 | if (scrollable==SCROLLABLE_DOWN || scrollable==SCROLLABLE_BOTH) { |
| 127 | Vector lines=((PopUpElement)popUps.elementAt(0)).getMessage(); |
| 128 | if (lines.size()<1) return; |
| 129 | startLine++; |
| 130 | } |
| 131 | } |
| 132 | |
| 133 | private void scrollUp() { |
| 134 | if (scrollable==SCROLLABLE_UP || scrollable==SCROLLABLE_BOTH) { |
no test coverage detected