HelloYes, I thought so. pgAdmin bugs are handled on a separate list. Please re-submit it there: https://www.pgadmin.org/support/list/
regards Sergei