Re: git-gui: Error on restoring defaults

2017-06-29 Thread Stefan Beller
+cc Pat who maintains git-gui On Thu, Jun 29, 2017 at 6:13 PM, Samuel Leslie wrote: > Hi there, > > When selecting “Restore Defaults” in the Options dialogue via the Edit -> > Options menu the following application error is received: > > window name "!paving" already exists in parent > while

git-gui: Error on restoring defaults

2017-06-29 Thread Samuel Leslie
Hi there, When selecting “Restore Defaults” in the Options dialogue via the Edit -> Options menu the following application error is received: window name "!paving" already exists in parent     while executing "ttk::frame $w.!paving"     (procedure "pave_toplevel" line 4)     invoked from within