gh-763: Fixed drawing of History menu border after refresh (Ctrl+R) and clear (Del).

[MKadaner]

Summary

Now History menu border and shadow does not disappear when the history is refreshed (Ctrl+R) or cleared (Del) with the menu filter turned on.

References

• incorrect redrawing of the history window #763

Checklist

• I have followed the contributing guidelines.
• I have discussed this with project maintainers:
  
  If not checked, I accept that this work might be rejected in favor of a different great big ineffable plan.
  

Details

Even after half a year of debugging (although it was very busy half a year, and I could not spend much time on it), I still cannot understand how History menu works (for that matter, I do not understand how Far windowing system works). Thus, the fix is done somewhat blindly. In my limited testing, everything seems to work and there was no perceptible performance regression. However, I will not be surprised if I broke some other subtle scenario.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud

[alabuzhev]

Thank you

[MKadaner]

Thank you!