Re: progress-bar+fontify-pre-idle-hook bug.

Hrvoje> The variable is, of course, misnamed because the Hrvoje> "graphical" feedback also uses the echo area. The name could definitely be better (or maybe aliased), but AFAIK the graphical feedback uses the gutter, not the echo area. Since we don't have a resizing echo area, it's too small for the progress bar widget. -- School of Systems and Information Engineering http://turnbull.sk.tsukuba.ac.jp University of Tsukuba Tennodai 1-1-1 Tsukuba 305-8573 JAPAN Ask not how you can "do" free software business; ask what your business can "do for" free software.