(Editor eddie)
| 91 | |
| 92 | |
| 93 | public EditorFooter(Editor eddie) { |
| 94 | super(BoxLayout.Y_AXIS); |
| 95 | this.editor = eddie; |
| 96 | |
| 97 | cardLayout = new CardLayout(); |
| 98 | cardPanel = new JPanel(cardLayout); |
| 99 | add(cardPanel); |
| 100 | |
| 101 | controller = new Controller(); |
| 102 | add(controller); |
| 103 | |
| 104 | updateTheme(); |
| 105 | } |
| 106 | |
| 107 | |
| 108 | /** Add a panel with no icon. */ |
nothing calls this directly
no test coverage detected