Re: [PATCH-update] Bug 2876: Mark modified files in View Menu

2007-07-31 Thread Jürgen Spitzmüller
Richard Heck wrote: > This patch is now updated to current trunk. Jurgen? If it's well tested (which I believe it is), this can go in branch and trunk. But please wait with branch until the compression issue is sorted out. BTW as I wrote in bugzilla it would be nice if the tabs also reflected th

[PATCH-update] Bug 2876: Mark modified files in View Menu

2007-07-31 Thread Richard Heck
This patch is now updated to current trunk. Jurgen? Richard -- == Richard G Heck, Jr Professor of Philosophy Brown University http://frege.brown.edu/heck/ == Get my pub