last update: Feb. 15 1997
今回は, 見た目は変わってないんでイメージはつけません.
じゃ, 何が変わったかというと, 壁紙にしているイメージファイルを
ＧＩＦ形式にしました.
私みたいにたくさんの壁紙を切り替えて使ってると,
圧縮される画像形式を壁紙に使えるというのは すごくありがたいです.
しかし, いつのまにＧＩＦとかＪＰＧとかを 壁紙に使えるようになったんだ？
（皆さんは知ってました？）
あと, TabLaunchPad を入れたんだからついでに, ってことで, ObjectDesktop の
KeyboardLaunchPad と TaskManager を入れてみました.
KeyboardLaunchPad は, WarpCenter や TabLaunchPad がウィンドウの下に
隠れてしまった時の呼び出し用に使ってます.
でも, どっちもキーボード操作が効かないツールだから, あまり使い手がない...
TaskManager は, プログラム起動用にコマンドライン入力が できるようになってるんで,
使うかなー, と思ってたんですが... こちらもあまり使ってませんね.
前から欲しかったんだけど.