()
| 180 | public EditorHeader createHeader() { |
| 181 | return new EditorHeader(this) { |
| 182 | public void rebuild() { |
| 183 | super.rebuild(); |
| 184 | |
| 185 | // after Rename and New Tab, we may have new .java tabs |
| 186 | |
| 187 | if (preprocService != null) { |
| 188 | int currentTabCount = sketch.getCodeCount(); |
| 189 | if (currentTabCount != previousTabCount) { |
| 190 | previousTabCount = currentTabCount; |
| 191 | sketchChanged(); |
| 192 | } |
| 193 | } |
| 194 | } |
| 195 | }; |
| 196 | } |
| 197 |
nothing calls this directly
no test coverage detected