#217: selection highlight color in query editor
-----------------------------+----------------------------------------------
Reporter: Benedek Laszlo | Owner: Benedek Laszlo
Type: bug | Status: closed
Priority: minor | Milestone: 1.12
Component: pgadmin | Version: 1.10
Resolution: fixed | Keywords: querytool
Platform: all |
-----------------------------+----------------------------------------------
Changes (by gleu):
* status: new => closed
* resolution: => fixed
* milestone: => 1.12
Comment:
Fixed in
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commit;h=0734dc827c52dc8e4bf04a93745ea243e19906d6
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/217#comment:1>
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
