()
| 146 | public EditorHeader createHeader() { |
| 147 | return new EditorHeader(this) { |
| 148 | public void rebuild() { |
| 149 | super.rebuild(); |
| 150 | |
| 151 | // after Rename and New Tab, we may have new .java tabs |
| 152 | boolean newHasJavaTabs = checkForJavaTabs(); |
| 153 | boolean hasJavaTabsChanged = hasJavaTabs != newHasJavaTabs; |
| 154 | hasJavaTabs = newHasJavaTabs; |
| 155 | |
| 156 | if (preprocessingService != null) { |
| 157 | if (hasJavaTabsChanged) { |
| 158 | preprocessingService.handleHasJavaTabsChange(hasJavaTabs); |
| 159 | pdex.hasJavaTabsChanged(hasJavaTabs); |
| 160 | if (hasJavaTabs) { |
| 161 | setProblemList(Collections.emptyList()); |
| 162 | } |
| 163 | } |
| 164 | |
| 165 | int currentTabCount = sketch.getCodeCount(); |
| 166 | if (currentTabCount != previousTabCount) { |
| 167 | previousTabCount = currentTabCount; |
| 168 | pdex.sketchChanged(); |
| 169 | } |
| 170 | } |
| 171 | } |
| 172 | }; |
| 173 | } |
| 174 |
no test coverage detected