RE: [ jEdit-users ] window size problems

[Fabrizio, D. J. <Dante.Fabrizio@InterDigital.com>]

Hi,

Can someone point me to a web site
to download jmake?

Thanks,
Dan

	-----Original Message-----
	From:	Slava Pestov [SMTP:sl...@je...]
	Sent:	Wednesday, May 02, 2001 2:52 AM
	To:	jed...@li...
	Subject:	Re: [ jEdit-users ] window size problems

	I think the Unix window sizing workaround is failing with
	this JDK (perhaps they fixed the bug the workaround is
	trying to work around)?

	Can you try compiling the jEdit source, using the attached
	source file instead of the stock GUIUtilities.java in jEdit
	3.1final?

	Delete your user properties file first, to get rid of the
	invalid window sizes saved by the bug.

	Slava

	On Tue, May 01, 2001 at 03:36:46PM -0400, Fabrizio, Dante J. wrote:
	> Hi All,
	> 
	> I just installed jEdit3.1 final on Solaris2.6 with
	> sun jdk1.3 and all the window sizes are wrong.
	> 
	> They usually come up very small and I have to
	> resize them to see the contents. Once the main
	> window was at 2 times larger than the screen.
	> 
	> Has anyone else seen this?
	> 
	> Regards,
	> Dan
	> 
	> -- 
	> -----------------------------------------------
	> jEdit Users' List
	> jEd...@li...
	> http://lists.sourceforge.net/lists/listinfo/jedit-users << File:
GUIUtilities.java >>