From: Slava P. <sp...@gj...> - 2000-07-23 06:47:33
|
Reinout van Schouwen wrote: > > Hi all, > > I'm currently trying jEdit on yet another platform... :) it's Linux this > time, with JDK 1.3 beta-refresh from Sun. > > One annoyance that I see (which I suspect jEdit can't be blamed for) is, > that when you right-click in the text area, just sometimes a pop-up menu > is shown. More often, some kind of ghost frame is generated (visible in > the Gnome tasklist but not on the screen). Can anyone confirm this > problem? Does it happen with other Swing programs that display popup menus? Does it happen with 'normal' menus on the menu bar? > btw, I think jEdit 2.5 is solid. A pat on the shoulder to all > developers! :) Thanks :-) > One nice thing I can mention is that it is likely that jEdit will be > introduced as the editor-of-choice in next semesters' Data Structures > course at the Vrije Universiteit. Cool! Slava |