Приветствую! Есть ли здесь пользователи pgadmin3? Не было ли у вас проблем, когда при выделении/копировании текста мышью курсор принимает форму часов и приложение не откливается ни на клавиатуру ни на мышь? Окно тоже не закрывается -- У каждого в башке свои тараканы...