-
Kevin J. McCarthy authored
A full redraw should always be set in this case. This also enables us to remove redraw flags for some options.
508d3ec8
A full redraw should always be set in this case. This also enables us to remove redraw flags for some options.