[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: kill ring menu
From: |
Colin Walters |
Subject: |
Re: kill ring menu |
Date: |
20 May 2002 19:03:36 -0400 |
On Mon, 2002-05-20 at 10:48, Richard Stallman wrote:
> In principle it is worth putting in a good interface--but what would
> make an interface better than this one? What's wrong with this
> interface? Could you propose one you think is better?
I do think the `font-lock-face' interface is quite a bit easier to use.
The other alternative is Miles' suggestion of having font-lock toggle
display of `face' properties.
> +(defcustom occur-mode-hook '(font-lock-mode)
>
> Using `font-lock-mode' here is not correct; it will turn the mode off
> if it was already on.
Right; I'll change that to `turn-on-font-lock'. Thanks.
> + result (intern (format "ibuffer-category-%d" i)
> + ibuffer-category-obarray)))
>
> How come you need an unlimited number of categories for ibuffer? I
> would have expected a fixed small set to be sufficient.
Because the user can specify their own rules for fontifying buffers
using `ibuffer-fontification-alist'. The number of rules (and therefore
faces) is unbounded, so I need a separate category for each rule.
Unless there's something I'm missing...
> It seems awfully complex to use an obarray for this. I am sure there
> is a simpler and more efficient way to do it. For instance, you could
> simply create a list of category symbols which is parallel to
> ibuffer-fontification-alist.
Ahhh...yes, I see a way to do it by just referencing back into
`font-lock-category-alist'. Still just a little bit more complex than
I'd like, but it works. Thanks.
- Re: kill ring menu, (continued)
- Re: kill ring menu, Colin Walters, 2002/05/16
- Re: kill ring menu, Colin Walters, 2002/05/16
- Re: kill ring menu, Miles Bader, 2002/05/16
- Re: kill ring menu, Richard Stallman, 2002/05/18
- Re: kill ring menu, Colin Walters, 2002/05/19
- Re: kill ring menu, Miles Bader, 2002/05/19
- Re: kill ring menu, Colin Walters, 2002/05/20
- Re: kill ring menu, Richard Stallman, 2002/05/20
- Re: kill ring menu,
Colin Walters <=
- Re: kill ring menu, Richard Stallman, 2002/05/21
- Re: kill ring menu, Colin Walters, 2002/05/21
- Re: kill ring menu, Miles Bader, 2002/05/21
- Re: kill ring menu, Stefan Monnier, 2002/05/21
- Re: kill ring menu, Miles Bader, 2002/05/21
- Re: kill ring menu, Colin Walters, 2002/05/21
- Re: kill ring menu, Miles Bader, 2002/05/21
- Re: kill ring menu, Miles Bader, 2002/05/21
- Re: kill ring menu, Miles Bader, 2002/05/22
- Re: kill ring menu, Colin Walters, 2002/05/22