()
| 187 | private final Collection<Runnable> saveListeners = new ArrayList<>(); |
| 188 | |
| 189 | public Editor() { |
| 190 | this(24, 80, 0, MENU_BAR); |
| 191 | } |
| 192 | |
| 193 | public Editor(String name) { |
| 194 | this(24, 80, 0, getOptions(name)); |
nothing calls this directly
no test coverage detected