On Mon, Dec 18, 2000 at 02:12:01PM +0100, Lars Gullik Bjønnes wrote:
> 
> Those are not dead keys.
> Are _dead_ keys working?

  Dead keys are working (hard ;-).
  
  But you also said previously:
  
> For all I know, KP_x have also been fixed by this.

  And I interpreted that as the numerical key pad keys. Ok, I was wrong :),
it happens.

>         Lgb

-- 
José

Reply via email to