My patches for pgAdmin tool, targeting stability and usability on Mac OS and on Linux