[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Partial completion and completions-first-difference.
|
From: |
Richard M. Stallman |
|
Subject: |
Re: Partial completion and completions-first-difference. |
|
Date: |
Mon, 07 Nov 2005 10:33:32 -0500 |
An easy fix is to turn off the boldening if partial-completion-mode is ON
and the string starts with a - (or maybe even turn it OFF altogether
whenever partial-completion-mode is ON).
A week from now, if nobody has proposed a better solution, would you
please do that?
Re: Partial completion and completions-first-difference., Richard M. Stallman, 2005/11/05