Re: mode-line face and window manager

[Eli Zaretskii]

> From: Nick Roberts <address@hidden>
> Date: Tue, 6 Mar 2007 22:36:11 +1300
> 
> The value for mode-line face seems to be taken from the window manager or
> theme.

How do you see this?  I see the following in faces.el:

    (defface mode-line
      '((((class color) (min-colors 88))
         :box (:line-width -1 :style released-button)
         :background "grey75" :foreground "black")
        (t
         :inverse-video t))

which seems to say that this face has the release-button style and
grey75 background color.

Where's the coupling with the window manager or theme?