-
Richard M. Stallman authored
Replace "active field" with "button". Use "user option" only for variables. Use "setting" for variable-or-face.
5552d5a4
Replace "active field" with "button". Use "user option" only for variables. Use "setting" for variable-or-face.