为JEdit设置墙纸(add wallpaper for jedit)

80酷酷网    80kuku.com

  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();                }    } /

分享到
  • 微信分享
  • 新浪微博
  • QQ好友
  • QQ空间
点击: