(EditorFooter ef)
| 436 | |
| 437 | |
| 438 | public void addErrorTable(EditorFooter ef) { |
| 439 | JScrollPane scrollPane = new JScrollPane(); |
| 440 | errorTable = new ErrorTable(this); |
| 441 | scrollPane.setBorder(BorderFactory.createEmptyBorder()); |
| 442 | scrollPane.setViewportView(errorTable); |
| 443 | ef.addPanel(scrollPane, Language.text("editor.footer.errors"), "/lib/footer/error"); |
| 444 | } |
| 445 | |
| 446 | |
| 447 | public EditorState getEditorState() { |
no test coverage detected