JEdit 插件更新

1. 安装JEdit, 网上资料很多, 不多说.

2.更新插件, 今天遇到问题: plugin manager 中都是空的. 无法install plugin.

解决办法:
Utilities >>  global options >> plugin manager  点击update mirror list 按钮.

If 出现 error message: " An I/0 error occurred (Connection refused: connec..."

{

    说明你的网络连接有问题. 我是在公司使用, 必须通过设置浏览器代理, 才能上网.

    设置你的JEdit的代理 上面的目录位置"proxy server" 选择http, 把代理设置好.重新update mirror list . 选择亚洲的比较好.(如日本.)

    plugin manager 重新打开, 在install标签下就看到可以安装的软件了.

}

else{

    update mirror list . 选择亚洲的比较好.(如日本.)

    plugin manager 重新打开, 在install标签下就看到可以安装的软件了.

}