Remove rarely-used "Hide" and "Case" toggles from the toolbar
This commit removes the "Hide" and "Case" (case insensitive comparison) toggles from the toolbar. This is mostly because they're not a common use case, and so don't belong there, but also because they're not sufficiently easy to explain, and have no commonly recognisable icon.
parent
b22d0c17
Please register or sign in to comment