d7026367f7
The Paragraph panel menu's Reset Panel turned Hyphenate off but left the Hyphenation options: Words Longer Than, After First, Before Last, Hyphen Limit, Hyphenation Zone and Hyphenate Capitalized Words. A paragraph kept its custom hyphenation limits after a reset. Reset Panel now also sets those six options to the values of HyphenationOptions::default(), in the same text.setFormat call. The reset paragraphs then save no hyphenation options.