[prev in list] [next in list] [prev in thread] [next in thread] 

List:       jedit-users
Subject:    Re: [ jEdit-users ] Plugin Manager deleted my JDK's tools.jar
From:       Doug Breaux <breaux () clearlake ! ibm ! com>
Date:       2003-10-29 14:55:48
[Download RAW message or body]

The first.  I was trying to determine if a plugin was causing a problem 
was having, so I selected and deleted everything.  Oops :-)  My fault, 
but I was quite surprised next time I ran a Java app and found tools.jar 
missing.  So, yes, I was hoping tools.jar could be excluded from the 
list of selectable libraries.

Slava Pestov wrote:

> Do you mean tools.jar show up in the plugins list in the plugin manager,
> and you accidentally deleted it? (I guess it should not be listed
> there.) Or did the plugin manager just decide to blow it away for no
> reason?
> 
> On Tue, 2003-10-28 at 17:54, Doug Breaux wrote:
> 
>>One thing that has bitten me with 4.2 is how the Plugin Manager can 
>>actually delete your JDK's tools.jar file entirely.  The "Hide 
>>libraries" checkbox helps, but it seems to me that jEdit should not 
>>allow any deletion of files in the JDK lib (or ext) directory at all. 
>>Can this be prevented?
>>
>>
>>
>>-------------------------------------------------------
>>This SF.net email is sponsored by: SF.net Giveback Program.
>>Does SourceForge.net help you be more productive?  Does it
>>help you create better code?   SHARE THE LOVE, and help us help
>>YOU!  Click Here: http://sourceforge.net/donate/




-------------------------------------------------------
This SF.net email is sponsored by: SF.net Giveback Program.
Does SourceForge.net help you be more productive?  Does it
help you create better code?   SHARE THE LOVE, and help us help
YOU!  Click Here: http://sourceforge.net/donate/
-- 
-----------------------------------------------
jEdit Users' List
jEdit-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/jedit-users
[prev in list] [next in list] [prev in thread] [next in thread]