diff man/text.texi @ 35474:1859c648801a

(build_desired_tool_bar_string): Make sure we have a desired tool bar string, even if there are not tool bar items.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 22 Jan 2001 19:12:13 +0000
parents 14ce9aa3241a
children 32fc1ec13574
line wrap: on
line diff