()
| 62 | } |
| 63 | |
| 64 | private void update() { |
| 65 | if (selectedClass == null) { |
| 66 | displayText("no class selected"); |
| 67 | } else { |
| 68 | StringWriter writer = new StringWriter(); |
| 69 | |
| 70 | try (PrintWriter pw = new PrintWriter(writer)) { |
| 71 | NameType nameType = gui.getNameType().withUnmatchedTmp(unmatchedTmp); |
| 72 | selectedClass.accept(new TraceClassVisitor(null, new HtmlTextifier(selectedClass, nameType), pw), nameType); |
| 73 | } |
| 74 | |
| 75 | double prevScroll = updateNeeded == 2 ? getScrollTop() : 0; |
| 76 | |
| 77 | displayHtml(writer.toString()); |
| 78 | |
| 79 | if (updateNeeded == 2 && prevScroll > 0) { |
| 80 | setScrollTop(prevScroll); |
| 81 | } |
| 82 | } |
| 83 | |
| 84 | updateNeeded = 0; |
| 85 | } |
| 86 | |
| 87 | @Override |
| 88 | public void onMethodSelect(MethodInstance method) { |
no test coverage detected