トップ差分一覧ソース置換検索ヘルプ PDF RSS ログイン

Plugin - BufferSelector

説明

BufferSelector を jEdit4.3.1 に対応したもの。

　※BufferSet の機能に対応。

ダウンロード

BufferSelector.zip(373)

使い方

１．ファイルをダウンロードして解凍する。
２．BufferSelector.jar を本体またはプロファイルの jar ディレクトリへコピーする。

改良元バージョン

1.0.6

改良点

○BufferSet の機能に対応した。

BufferSelector.zip

最終更新時間：2010年04月21日 18時22分34秒