-
Sébastien Wilmet authored
One remaining thing: update the sensitivity of the menu items: find next, find prev, and clear search highlight.
b5582ced
One remaining thing: update the sensitivity of the menu items: find next, find prev, and clear search highlight.