1) the code posted is using only the intf part of the IDE
and
2) no other gpl unit is directly linked to those units mentioned above
then pilot logic has the right to share the code of those units under any license they see fit.
so the question is what is the license that PL is using for the above units?
This is, as how I understand the GPL license itself, not relevant with the GPL as long as it ends up in the same binary.
True but since the IDE does not support dynamic packages or external plugins the team added an exception on the interface part of the IDE to allow commercial/closed source addins to be compiled in directly to the IDE. Now the lazarus team has to
1) make sure that the code in question uses only the interface part of the IDE
2) decide if its better on the long run to rewrite the designer or face the CT trolls.
There are a lot of good developers on this forums that would help to write a new embedded designer or port the sparta designer over just to avoid coupling them self with the lowlifes of PL.
In any case just to spite the PL I would make sure that the designer is an addin to lazarus make an external package and post it on github under GPL with an exception that forbids CTand PL to use it.
Just for the fun of it