Re: [PATCH v5 0/3] gitk: save only changed configuration on exit

2015-03-21 Thread Paul Mackerras
On Wed, Mar 04, 2015 at 05:58:15AM +0200, Max Kirillov wrote: The changes: * remove unused views_modified_names assignment * use if {[catch...] to check saving error * split error reporting from busy wait The busy wait parameters are unchanged, mostly because I did not have time yet to

[PATCH v5 0/3] gitk: save only changed configuration on exit

2015-03-03 Thread Max Kirillov
The changes: * remove unused views_modified_names assignment * use if {[catch...] to check saving error * split error reporting from busy wait The busy wait parameters are unchanged, mostly because I did not have time yet to test them. Max Kirillov (3): gitk: write only changed configuration