[pgadmin-support] SQL Editor cursor colour

[Federico Stafforini]

Hello,

   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.
   Thanks,

Federico Stafforini.