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

Jean-Francois Dockes Jean-Francois Dockes 2011-03-08

changed src/qtgui/rclmain_w.cpp
src/qtgui/rclmain_w.cpp Diff Switch to side-by-side view
Loading...