[Mew-dist 2758] property or overlay

SAKAI Kiyotaka ksakai at example.com
1997年 10月 27日 (月) 18:30:30 JST


mew-1.92 では色を付けるのに、表示しているメールに付ける underline 以外
は overlay ではなくて property を利用していますが、これは何か理由があ
るのでしょうか?

overlay は buffer に対して、文字に色を重ねるように色付けするのに比較し
て、property だと文字列そのものに色を付けるため、cut & paste すると色
がそのまま残ってしまうので、僕は property よりも overlay の方が好きな
のですが。
-- 
酒井 清隆 (E-mail: ksakai at example.com)



Mew-dist メーリングリストの案内