#138: Display line numbers in query tool
-----------------------+----------------------------------------------------
Reporter: Danny Lo | Owner: gleu
Type: feature | Status: closed
Priority: minor | Milestone: 1.12
Component: pgadmin | Version: trunk
Resolution: fixed | Keywords: querytool
Platform: all |
-----------------------+----------------------------------------------------
Changes (by gleu):
* status: assigned => closed
* resolution: => fixed
* milestone: => 1.12
Comment:
Done in r8180.
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/138#comment:2>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III
--
Sent via pgadmin-hackers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-hackers