However, I found that the moment I launch gnome-font-properties, it changes to normal. What puzzles me is that how it works, because the gnome-font-properties is started somewhere else, either from menu, or commmand line.
env | sort > env.0 gnome-font-properties env | sort > env.1 comm -3 env.0 env.1
— no difference
NB, gnome-font-properties also changes the window background as a side effect. Ahh…
ps -eaf | cut -c1-29,48- | sort > ps.0 gnome-font-properties ps -eaf | cut -c1-29,48- | sort > ps.1
$ comm -3 ps.0 ps.1 root 10245 10037 12 12:36 gnome-terminal root 10245 10037 13 12:36 gnome-terminal root 10355 10320 0 12:37 ps -eaf root 10356 10320 0 12:37 sort root 10359 1 4 12:37 gnome-settings-daemon --oaf-acti root 10361 567 0 12:37 fam root 10371 10320 0 12:37 ps -eaf root 9998 9997 35 12:36 /usr/X11R6/bin/X :1 root 9998 9997 36 12:36 /usr/X11R6/bin/X :1
Aha, the gnome-settings-daemon!