|
From: Jim B. <jam...@gm...> - 2009-05-12 20:43:00
|
My guess would be that it is the jEdit settings files in the '.jedit' folder. Mine is quite a bit larger than that, as that's where plugins get installed, etc. 2009/5/12 <Ber...@gm...>: > Hi, > > we have a large Citrix installation with about 50 servers. On all of them is > jedit 4.2 installed and the program does what it is intended for. We have > about 2'000 users, and 43 of them is jedit assigned to. > We encounter the following problem: > On almost all users - also outside the 43 users - the profile space for > jedit increases up to 5 MB. Do you have an explanation on this behaviour? > > Thank you very much for your support. > > Bernhard > ------------------------------------------------------------------------------ > The NEW KODAK i700 Series Scanners deliver under ANY circumstances! Your > production scanning environment may not be a perfect world - but thanks to > Kodak, there's a perfect scanner to get the job done! With the NEW KODAK > i700 > Series Scanner you'll get full speed at 300 dpi even with all image > processing features enabled. http://p.sf.net/sfu/kodak-com > -- > ----------------------------------------------- > jEdit Users' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-users > > -- James M. Baker ------------------ Computer Nerd ------------------ jam...@gm... |