Adds one or more lines to the end of this TextPanel.
(String text)
| 240 | |
| 241 | /** Adds one or more lines to the end of this TextPanel. */ |
| 242 | public void append(String text) { |
| 243 | if (text==null) text="null"; |
| 244 | if (vData==null) |
| 245 | setColumnHeadings(""); |
| 246 | if (text.length()==1 && text.equals("\n")) |
| 247 | text = ""; |
| 248 | String[] lines = text.split("\n"); |
| 249 | for (int i=0; i<lines.length; i++) |
| 250 | appendWithoutUpdate(lines[i]); |
| 251 | if (isShowing()) { |
| 252 | updateDisplay(); |
| 253 | unsavedLines = true; |
| 254 | } |
| 255 | } |
| 256 | |
| 257 | /** Adds strings contained in an ArrayList to the end of this TextPanel. */ |
| 258 | public void append(ArrayList list) { |
no test coverage detected