From: Slava P. <sp...@us...> - 2003-05-14 00:17:54
|
Date: Tuesday May 13, 2003 @ 16:50 Author: spestov Update of /cvsroot/jedit/jEdit/org/gjt/sp/jedit In directory sc8-pr-cvs1:/tmp/cvs-serv22448/org/gjt/sp/jedit Modified Files: GUIUtilities.java jedit_gui.props Log Message: fix display manager sharing bug |