>>>>> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes:
Michael> Hi, now that we have change "TOC" to "Outline" in the menu, Michael> we should also change it in the dialog and the toolbar. Michael> Looking for two OK's for the attached patch. OK. JMarc
