Yes, this is actually an issue with wxwidgets - pgadmin3 doesn't offer any specific (color) scheme settings.
Yes, this is actually an issue with wxwidgets - pgadmin3 doesn't offer any specific (color) scheme settings.