On Wed, Aug 2, 2017 at 5:46 PM, Juha Manninen <juha.manninen62 at gmail.com> wrote: > - The original bug is fixed long time ago, but I understood there are > 2 others that should be reported separately. > - F12 in designer. > - Codetools issues. ... and those may be fixed already, too. Juha