Обсуждение: [pgAdmin III] #253: SQL Editor cursor colour
#253: SQL Editor cursor colour
---------------------------------+------------------------------------------
Reporter: Federico Stafforini | Owner: gleu
Type: feature | Status: new
Priority: minor | Milestone:
Component: pgadmin | Version: trunk
Keywords: querytool | Platform: all
---------------------------------+------------------------------------------
Is it possible to change the cursor colour in the SQL editor? Selecting a
dark background colour makes the cursor disappear: it seems to be
hardcoded to be black.
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/253>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III
#253: SQL Editor cursor colour
----------------------------------+-----------------------------------------
Reporter: Federico Stafforini | Owner: gleu
Type: feature | Status: closed
Priority: minor | Milestone: 1.14
Component: pgadmin | Version: trunk
Resolution: fixed | Keywords: querytool
Platform: all |
----------------------------------+-----------------------------------------
Changes (by gleu):
* status: new => closed
* resolution: => fixed
* milestone: => 1.14
Comment:
Implemented in
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commit;h=59c46ed4ff95c99b1b34c278c0e544318c3d44b1.
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/253#comment:1>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III