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