(DEFAULT_TOOL_BAR_BUTTON_MARGIN)
authorPavel Janík <Pavel@Janik.cz>
Mon, 29 Apr 2002 09:04:36 +0000 (09:04 +0000)
committerPavel Janík <Pavel@Janik.cz>
Mon, 29 Apr 2002 09:04:36 +0000 (09:04 +0000)
commitcfa5cf43d10e6726aef644d7262d38ff317cb32b
tree0e078d57304ce988a814ebceecfe8db379610a4f
parent2912f3494f33123552142ace71b76d5f41d8aad8
(DEFAULT_TOOL_BAR_BUTTON_MARGIN)
(DEFAULT_TOOL_BAR_BUTTON_RELIEF): Change default values.
src/dispextern.h