diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2014-12-09 21:23:12 -0700 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2014-12-09 21:23:12 -0700 |
| commit | 3f34af4bed6214103cfa3d3483ae15c3d888b5c6 (patch) | |
| tree | f55b14a9d4ef291b7bae65330ec30bfe3518e6ab /statistics.c | |
| parent | 4029c87ec765dc49ccf2ed97dec1210d70da8014 (diff) | |
| download | subsurface-3f34af4bed6214103cfa3d3483ae15c3d888b5c6.tar.gz | |
Make filter for filter criteria case insensitive
When opening the filter dialog we allow the user to filter the choices
that are shown. The text that they enter in that filter for filter
criteria should be treated as case insensitive.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'statistics.c')
0 files changed, 0 insertions, 0 deletions