Useful trick for interactive Gedit Python API exploration

I mentioned the usefulness of 'dir' in trying to find out how to perform different tasks using the Gedit API. I should have thought about this earlier, but here is a dir+grep function that should help with the large number of methods associated with most Gedit API objects.

>>> def dir2(o, str):
...  return [k for k in dir(o) if k.find(str) != -1]
... 
>>> v = window.get_active_view()
>>> dir2(v, "selection")

This is very neat - it was stupid of me to browse those long method name lists without some automated help, especially since it was so easy to implement.