いつからか、メニューバーとタイトルバーが統合された。 メニューバーを以前と同じにするには
[通知用URL]
最終更新時間:2012年02月11日 22時57分52秒
・jEdit Wiki
・プラグイン ・プラグインヘルプ ・質問、ご意見等はこちら
・全記事
2022/8/17
2022/8/16
2022/8/7
2022/8/6
2022/7/31
[通知用URL]
Tweet
最終更新時間:2012年02月11日 22時57分52秒