Replaced case sensitive checkbox with a button using an icon#646

Merged

eselmeister merged 1 commit intoeclipse:developfrom Mailaender:case-sensitive-button

Jun 23, 2021

+26-9

Commits on Jun 22, 2021

Replace case sensitive checkbox with a button using an icon.
Mailaender
committed