No additional info because the problem is still as it was back in May.
Tools -> Account Settings -> Add Account -> Gmail -> Identity
The wizard then automatically and unavoidably selects Incoming Server Name to be pop.gmail.com and incoming server type as POP3.
It should allow the choice of IMAP, or better default to IMAP, and point to imap.gmail.com on port 993.
No additional info because the problem is still as it was back in May.
Tools -> Account Settings -> Add Account -> Gmail -> Identity
The wizard then automatically and unavoidably selects Incoming Server Name to be pop.gmail.com and incoming server type as POP3.
It should allow the choice of IMAP, or better default to IMAP, and point to imap.gmail.com on port 993.