07/03/31 14:30:34 AIAYGcMl0
abbrev-mode で一度登録した省略形情報を削除したい場合って、どうすれば
いいんでしょうね？
~/.abbrev_defs を直接編集して保存 (または write-abbrev-file) しても、不
要な省略形が復活してしまいます。~/usr/USER_NAME/OS_VERSION/xyz*.tmp から
復活しているようなので、このテンポラリファイルを削除してxyzzy を再起動す
ると、不要な省略形が削除されます。
ヒントでもいいので、よろしくお願いします。m(_ _)m