Method Refresh

src/document.h:596–599

    }

    void Refresh() {
        hover.g = nullptr;
        RefreshHover();
    }

    void RefreshHover() {
        redrawpending = true;