Searched refs:mIgnoreCaseGrep (Results 1 – 1 of 1) sorted by relevance
85 private CheckBox mIgnoreCaseGrep; field in DumpActivity203 mIgnoreCaseGrep = findViewById(R.id.ignore_case); in onCreate()596 final boolean ignoreCase = mIgnoreCaseGrep.isChecked(); in buildCommandLine()