I am currently developing plug-ins for an eclipse RCP application. One of the plug-ins needs OS-specific implementations.
It seems that plugin fragments would meet my needs (see e.g. 1, 2, 3).
I think I understand how fragments work now, but apart from the sparse documentation of fragments, there doesn't seem to be any documentation of the Eclipse-PlatformFilter
header in the manifest file.
According to 4, it has to be a valid LDAP filter string, but that doesn't explain any more than the two examples I found on the internet (the MacOS cocoa one and the windows 32bit one).
So my question is:
Is there any documentation of the Eclipse-PlatformFilter header?
(If there isn't, can anybody tell me the valid values for the header?)