On 11/27/2015 03:23 AM, Fang Liu wrote: > Is it necessary to call docChanged()? I looked it up and It’s supposed to mark the document as changed so you the save menu item is enabled. > I've never been convinced that docChanged() actually does anything. Greg