1). 前提(condition)+ jedit4.2final+ jdk 1.42). 步骤(steps)1. add this at org.gjt.sp.jedit.textarea.TextAreaPainterin method paintComponent(...)after: extensionMgr.paintScreenLineRange(textArea, gfx, firstInvalid, lastInvalid, y, height);add: { // paint wallpaper after all that should be paint Rectangle rect = this.getVisibleRect(); Wallpaper.paintWallpaper(gfx, rect.x, rect.y, rect.width, rect.width, this); } 2. add in org.gjt.sp.jedit.textarea.JEditTextArea // {{{ changeWallpaperDialog() method // for change the wallpaper /** * Displays the 'changeWallpaperDialog' dialog box. * author neoedmund */ public void changeWallpaperDialog() { if (Wallpaper.changeWallpaper(this)){ repaint(); } } /
为JEdit设置墙纸(add wallpaper for jedit)
80酷酷网 80kuku.com