all messages for Emacs-related lists mirrored at yhetil.org
 help / color / mirror / code / Atom feed
From: "Robert J. Chassell" <bob@rattlesnake.com>
Cc: emacs-devel@gnu.org
Subject: Re: facemenu-unlisted-faces
Date: Sun, 9 Jul 2006 11:03:59 +0000 (UTC)	[thread overview]
Message-ID: <m1FzX4x-0004EkC@rattlesnake.com> (raw)
In-Reply-To: <EIENLHALHGIMHGDOLMIMAEIDCJAA.drew.adams@oracle.com>

    I can use the number 4 or not use it, but it remains the number 4 - it is
    not changeable. I can apply  the :bold attribute to text or not, but it
    remains the unchangeable :bold attribute; ...

I don't understand you.  The displayed numerical symbol can be set to
any number but few want to set that variable to a value that humans do
not expect.  Similarly, it looks to me that in ...emacs/lisp/faces.el
`:bold' is set to `Face.AttributeBold' although not with a setq, but
in a more complex manner.  (Maybe numbers are not set with setq either
-- I have not looked.)

A `user (conceptual) model' that presumes a `constant' is wrong.  The
user's conceptual model should include the notion that `:bold' is set
to a value that humans generally expect, but it can be something else.
On my display, I set bold to be a kind of red since the heavy weight
of a more conventional bold looks bad.  Naturally, almost no one else
expects `bold' to be displayed as a `normal' weighted character.

You can change anything in a `universal informational machine' (which
is how I have heard computers described).  It is a major mistake to
think of any characteristic from such a universal machine as
`constant'.  Moreover, the machine does not know what human meanings
are attached to the bits it transforms.  As computers become more and
more important in human lives, the danger of mistaking what they can
do becomes more and more dangerous.

-- 
    Robert J. Chassell                         
    bob@rattlesnake.com                         GnuPG Key ID: 004B4AC8
    http://www.rattlesnake.com                  http://www.teak.cc

  parent reply	other threads:[~2006-07-09 11:03 UTC|newest]

Thread overview: 55+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-07-01 23:55 facemenu-unlisted-faces Richard Stallman
2006-07-02  0:33 ` facemenu-unlisted-faces Chong Yidong
2006-07-02  3:17   ` facemenu-unlisted-faces Drew Adams
2006-07-02 22:30     ` facemenu-unlisted-faces Richard Stallman
2006-07-02 23:50       ` facemenu-unlisted-faces Drew Adams
2006-07-03  7:44         ` facemenu-unlisted-faces David Kastrup
2006-07-03 14:34           ` facemenu-unlisted-faces Drew Adams
2006-07-04 12:55             ` facemenu-unlisted-faces Richard Stallman
2006-07-04 18:07               ` facemenu-unlisted-faces Drew Adams
2006-07-05 14:51                 ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:55                   ` facemenu-unlisted-faces Drew Adams
2006-07-06 13:32                     ` facemenu-unlisted-faces Richard Stallman
2006-07-06 15:52                       ` facemenu-unlisted-faces Drew Adams
2006-07-03 15:11           ` facemenu-unlisted-faces Chong Yidong
2006-07-03 16:48             ` facemenu-unlisted-faces Drew Adams
2006-07-04 12:55               ` facemenu-unlisted-faces Richard Stallman
2006-07-04 19:19                 ` facemenu-unlisted-faces Drew Adams
2006-07-05 14:51                   ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:54                     ` facemenu-unlisted-faces Drew Adams
2006-07-06 13:32                       ` facemenu-unlisted-faces Richard Stallman
2006-07-06 15:52                         ` facemenu-unlisted-faces Drew Adams
2006-07-07 19:30                           ` facemenu-unlisted-faces Richard Stallman
2006-07-07 22:49                             ` facemenu-unlisted-faces Drew Adams
2006-07-08 15:31                               ` facemenu-unlisted-faces Richard Stallman
2006-07-09  2:32                                 ` facemenu-unlisted-faces Drew Adams
2006-07-09  4:42                                   ` facemenu-unlisted-faces Miles Bader
2006-07-09  5:45                                     ` facemenu-unlisted-faces Drew Adams
2006-07-09 11:01                                       ` facemenu-unlisted-faces Miles Bader
2006-07-09 18:19                                         ` facemenu-unlisted-faces Drew Adams
2006-07-09 11:03                                       ` Robert J. Chassell [this message]
2006-07-09 18:19                                         ` facemenu-unlisted-faces Drew Adams
2006-07-09 21:08                                           ` facemenu-unlisted-faces Robert J. Chassell
2006-07-09 19:03                                       ` facemenu-unlisted-faces Richard Stallman
2006-07-09 20:29                                         ` facemenu-unlisted-faces Drew Adams
2006-07-09 19:03                                   ` facemenu-unlisted-faces Richard Stallman
2006-07-09 20:01                                     ` facemenu-unlisted-faces Drew Adams
2006-07-13  8:14                                   ` facemenu-unlisted-faces Sascha Wilde
2006-07-13 10:00                                     ` facemenu-unlisted-faces tomas
2006-07-13 10:49                                     ` facemenu-unlisted-faces Robert J. Chassell
2006-07-13 16:49                                     ` facemenu-unlisted-faces Drew Adams
2006-07-13 18:03                                       ` facemenu-unlisted-faces Miles Bader
2006-07-13 21:30                                         ` facemenu-unlisted-faces Drew Adams
2006-07-14  0:19                                           ` facemenu-unlisted-faces Miles Bader
2006-07-14 15:06                                             ` facemenu-unlisted-faces Drew Adams
2006-07-19  4:37                                               ` facemenu-unlisted-faces Miles Bader
2006-07-16  6:26                                           ` facemenu-unlisted-faces Richard Stallman
2006-07-16 17:33                                             ` facemenu-unlisted-faces Drew Adams
2006-07-17 16:06                                               ` facemenu-unlisted-faces Richard Stallman
2006-07-05 14:51                   ` facemenu-unlisted-faces Richard Stallman
2006-07-05 16:55                     ` facemenu-unlisted-faces Drew Adams
2006-07-09 14:12                   ` facemenu-unlisted-faces Richard Stallman
2006-07-09 18:19                     ` facemenu-unlisted-faces Drew Adams
2006-08-06  8:10     ` facemenu-unlisted-faces Drew Adams
2006-07-02 22:29   ` facemenu-unlisted-faces Richard Stallman
2006-07-03 14:34     ` facemenu-unlisted-faces Chong Yidong

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=m1FzX4x-0004EkC@rattlesnake.com \
    --to=bob@rattlesnake.com \
    --cc=emacs-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
Code repositories for project(s) associated with this external index

	https://git.savannah.gnu.org/cgit/emacs.git
	https://git.savannah.gnu.org/cgit/emacs/org-mode.git

This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.