Hi,
I un-installed PL/SQL Developer and deleted the folder that it was originally installed in. Then re-installed it from the same download I used for my previous install (which was version 7.1.4.1390). This obviously set all the preferences back to the default.
I've since started applying the...