From: Slava P. <sl...@je...> - 2002-01-25 03:51:47
|
jEdit 4.0 already "fixes" this if you use the appropriate API in GUIUtilities. On Fri, 2002-01-25 at 00:22, Dirk Moebius wrote: > Hola! Have a look at this: > > http://developer.java.sun.com/developer/bugParade/bugs/4425878.html > > "Synopsis popup menu disappears off screen when placed near the edge of > screen > > Description The bug is fixed . A new run time property > -Djavax.swing.adjustPopupLocationToFit is required to be set to true to > enable > the fix." > > They claimed to have fixed it in 1.3.1, but they actually fixed it in 1.4RC. > I checked. > > Wonders never cease... > > Dirk. > > -- > GMX - Die Kommunikationsplattform im Internet. > http://www.gmx.net > > > -- > ----------------------------------------------- > jEdit Developers' List > jEd...@li... > https://lists.sourceforge.net/lists/listinfo/jedit-devel -- Slava Pestov |