diff -r d54ff2185881 -r 7ed58f954383 Tools__SearchDialog.st --- a/Tools__SearchDialog.st Thu Apr 11 14:44:59 2013 +0200 +++ b/Tools__SearchDialog.st Thu Apr 11 15:10:21 2013 +0200 @@ -113,6 +113,10 @@ ^ openHow. ! +searchAreaSelected + ^ whereRadioGroup value. +! + searchIgnoringCase ^ self searchIsCaseSensitive not !