#123: "Properties..." is not disabled (grayed) when it should be.
-----------------------------+----------------------------------------------
Reporter: Franz Fritsche | Owner: gleu
Type: bug | Status: closed
Priority: minor | Milestone: 1.10.2
Component: pgadmin | Version: 1.10
Resolution: fixed | Keywords: browser
Platform: windows |
-----------------------------+----------------------------------------------
Changes (by gleu):
* status: assigned => closed
* resolution: => fixed
Comment:
Fixed in r8152 and r8153.
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/123#comment:3>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III