[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: `xterm-mouse-mode' has a bogus Custom group

From: Richard Stallman
Subject: Re: `xterm-mouse-mode' has a bogus Custom group
Date: Tue, 05 Apr 2005 23:02:35 -0400

    >   The GNU/Linux console currently does not appear to support
    >   `xterm-mouse-mode'.

    I think this should just say Linux console although I don't really 
    where the kernel ends and the operating system begins.

Neither "Linux console" nor "GNU/Linux console" is incorrect.
We want to make people aware that the system is not Linux,
so we say "GNU/Linux console".

reply via email to

[Prev in Thread] Current Thread [Next in Thread]