greenfoot.platforms.ide is used in

|
ActorDelegateIDE
|
GreenfootUtilDelegateIDE
|
WorldHandlerDelegateIDE