Hi,
On Tue, Mar 31, 2015 at 11:59 AM, Stephan Eggermont <stephan(a)stack.nl>
wrote:
Keep up the good work! It is getting better all the
time.
- I wanted to search for source, not source: or something starting with
source.
I thought perhaps typing a space after source would reduce the result
set.
This is not yet possible.
If you want to play with strategies in this direction, you can look at
subclasses of GTFilter. At the moment, most processors use the most basic
GTFilterSubstring. There are already other things available, including
GTFilterStringMatch or GTFilterRegex, but they are obviously slower. This
part will be in our focus next.
- I tried selecting the list of implementors with the
mouse, but was only
able to
do so after moving the selection to the first of the implementors.
I am not sure I understand this part. Are you clicking on the
"Implementors" label, or on an element in the list. The latter should work,
the former should not.
Cheers,
Doru
Stephan
_______________________________________________
Moose-dev mailing list
Moose-dev(a)iam.unibe.ch
https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
www.tudorgirba.com
"Every thing has its own flow"