2010年10月28日木曜日

jEdit の環境設定 - その 1 ([Utilities] > [Global Options...])

標準設定から変えたところ。
何かかえたらそのつどこのページに残すようにする。

  1. 起動すると、最後に開いていたファイルを開いてしまうのでやめる。
  2. 起動するときにタイトル画面が表示されないようにしたけれど、起動に失敗したのか、ただ遅いだけなのかわからないので表示する。
  3. 起動したときの tips をやめる。
  4. お気に入りのフォントを選らんで、
  5. きれいに Anti Alias で表示する。
jEdit
 + General
   [ ] Restore previously open files on startup …(1)
 + Appearance
   + Startup Options
     [*] Show splash screen on startup …(2)
     [ ] Show tips on startup …(3)
 + Text Area
   - Text font: "モトヤシータ゛3等幅 14 Plain" …(4)
   - Anti Aliased smooth text: "standard" …(5)