On Mon, Sep 10, 2001 at 02:37:33PM +0200, Lars Gullik Bjønnes wrote:

> | Lars> | - Minibuffer message is duplicated: | | "LaTeX run number 2
> | Lars> (message LaTeX run number 2)" | | Only occurs when you click at
> | Lars> menu item "View/DVI"; CTRL-D works well
> | 
> | Lars> Is it _really_ a problem?
> | 
> | Yes, this is bad UI.
> 
> so it is not _really_  a problem.

erm ....

-- 
"Since when would the sizeof any kind of pointer be zero ? 
 Have you built a zero-bit CPU ?"
        - Jeffrey Turner

Reply via email to