You are viewing a plain text version of this content. The canonical link for it is here.

Posted to cactus-dev@jakarta.apache.org by Christopher Lenz <le...@mediatis.de> on 2002/10/22 15:22:50 UTC

[PATCH] Eclipse-plugin preference initialization fix

Hi,

here's a fix to the problem that preferences of the Eclipse-plugin only 
got initialized to their default values when the preference page was 
actually opened.

solution: there's an API for such stuff, use it ;-)

-chris