anik writes

Possible reason: setCheckable(true) is not called for these menu items before.

medoc writes

GUI: update checkmark on current stemming option. Closes issue #49 Thanks to the reporter.

→ <<cset 4206296f95fb > >