(ViewChangeCause cause)
| 47 | } |
| 48 | |
| 49 | @Override |
| 50 | public void onViewChange(ViewChangeCause cause) { |
| 51 | selectedClass = selectionProvider.getSelectedClass(); |
| 52 | |
| 53 | if (cause == ViewChangeCause.THEME_CHANGED) { |
| 54 | // Update immediately to prevent flashes when switching |
| 55 | update(); |
| 56 | } else if (selectedClass != null |
| 57 | && (cause == ViewChangeCause.NAME_TYPE_CHANGED |
| 58 | || cause == ViewChangeCause.DECOMPILER_CHANGED)) { |
| 59 | updateNeeded = 2; |
| 60 | if (tabSelected) update(); |
| 61 | } |
| 62 | } |
| 63 | |
| 64 | private void update() { |
| 65 | if (selectedClass == null) { |
nothing calls this directly
no test coverage detected