diff options
| author | Gerd Moellmann <gerd@gnu.org> | 2001-01-12 15:12:10 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 2001-01-12 15:12:10 +0000 |
| commit | 35a415071e4b38acd205aea572bb084707237589 (patch) | |
| tree | 4fce2093119d20157030ca53b64400db70ab89bd /etc/SERVICE | |
| parent | 22d650b85106da5329b270858126562b0dd3faa0 (diff) | |
| download | emacs-35a415071e4b38acd205aea572bb084707237589.tar.gz | |
(Vtool_bar_button_margin): Replaces tool_bar_button_margin.
(build_desired_tool_bar_string): Handle Vtool_bar_button_margin
being a pair of margins.
(syms_of_xdisp): Change DEFVAR_INT of tool-bar-button-margins
to DEFVAR_LISP. Extend doc.
Diffstat (limited to 'etc/SERVICE')
0 files changed, 0 insertions, 0 deletions