Skip to content

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

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

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