[ Version ( deprecated = true , deprecated_since = "0.2.2" ) ]
public PlatformList new_filtered (Filter filter)
Warning: new_filtered is deprecated since 0.2.2.
Construct a new platform list that is filled with platforms from this that match filter
Use new_filtered instead.
| this |
the platform list to copy |
| filter |
the filter to apply |
|
a filtered copy of the platform list |