[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Thu, 22 Jul 2004 16:33:09 +0900
BTW, the biggest win of this change for me is with mode-lines -- they're
natural for using a variable pitch font (alignment doesn't matter), they
can be very long, and the info at the end is often significant...
Before, variable-pitch mode-lines would get strangely cut off but now
they work perfectly.
80% of success is just showing up. --Woody Allen
Re: puzzle.el., Kevin Rodgers, 2004/07/19