Refresh redraws the tab header and content after an external state change.
()
| 219 | |
| 220 | // Refresh redraws the tab header and content after an external state change. |
| 221 | func (eh *EventHandler) Refresh() { |
| 222 | eh.refresh() |
| 223 | } |
| 224 | |
| 225 | // indexHasNotification reports whether the tab at index still has a notification. |
| 226 | func (eh *EventHandler) indexHasNotification(index int) bool { |