User-agent: Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8b2) Gecko/20050707 Netscape/7.2 (Spidey) SeaMonkey/1.0a
(Followup-To: eclipse.platform)
Using Eclipse 3.1, when working with different workspaces some of
the preferences are shared through the "configuration" area but some
are not (which is sensible most of the time).
At least one preference doesn't makes sense (to me) to be not
shared: about the "Colors and Fonts". I can't find a way to export
these settings neither. I want to export at least the general colors
and fonts settings, and the Java editor syntax coloring - is there a
way I'm missing?