On 25-Jul-2001 Jean-Marc Lasgouttes wrote:
> Juergen> if (checkInsertChar(minbuffer_char, minibuffer_font))
> Juergen> insertChar(pos, minibuffer_char, minibuffer_font);
>
> What would the 'char' be??
You mean we don't need it as parameter? Well maybe you're rigth but
maybe in some uses we want to have a look at the char too? If you think
we should just change the font it's ok for me I'm just looking forward
in the fog of future ;), for now I surely see only the font change as
important, but ...
J�rgen
--
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Dr. J�rgen Vigna E-Mail: [EMAIL PROTECTED]
Italienallee 13/N Tel/Fax: +39-0471-450260 / +39-0471-450253
I-39100 Bozen Web: http://www.sad.it/~jug
-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._-._
Bilbo's First Law:
You cannot count friends that are all packed up in barrels.
