tool-bar-button-relief as an option?

[Pavel Janík]

Hi,

this variable is defined as:

  DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief,
    doc: /* Relief thickness of tool-bar buttons.  */);
  tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF;

ie. it is not an option. Very similar variable is option:

  DEFVAR_LISP ("tool-bar-button-margin", &Vtool_bar_button_margin,
    doc: /* *Margin around tool-bar buttons in pixels.
If an integer, use that for both horizontal and vertical margins.
Otherwise, value should be a pair of integers `(HORZ : VERT)' with
HORZ specifying the horizontal margin, and VERT specifying the
vertical margin.  */);
  Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN);

I think that too-bar-button-relief should be an option too. What do you
think?
-- 
Pavel Janík

Q: Why are we hiding from the police daddy?
A: Because we use vi son, they use emacs.
                  -- Thinkgeek.com T-Shirt