#371: Enhance the search tool
------------------------+---------------------------------------------------
Reporter: gleu | Owner: dpage
Type: feature | Status: new
Priority: minor | Milestone:
Component: pgadmin | Version: trunk
Keywords: searchtool | Platform: all
------------------------+---------------------------------------------------
Comment(by gleu):
Using regexps would be a plus.
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/371#comment:1>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III