[jboss-user] [JBoss Tools] - Re: jboss tools property editor enhancements

henk de boer do-not-reply at jboss.com
Fri Dec 17 15:49:28 EST 2010

henk de boer [http://community.jboss.org/people/henk53] created the discussion

"Re: jboss tools property editor enhancements"

To view the discussion, visit: http://community.jboss.org/message/576695#576695

We used this plug-in for a couple of years before it was abandoned in 2007. Initially it was a very nice editor, but eventually we had to abandon using it because of several show-stopping bugs.

A particularly nasty one was the one where the editor didn't get to see any changes when you updated your workspace from SVN while some properties file was open. If you then later on checked in your version of the file, it looked like if you just deleted the new stuff that came in with the last update.

When you finally detected that some keys were missing, it was quite a lot of trouble to retrieve them from the history and add them again.

Reply to this message by going to Community

Start a new discussion in JBoss Tools at Community

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/jboss-user/attachments/20101217/a0d6ea86/attachment.html 

More information about the jboss-user mailing list