Open GoogleCodeExporter opened 8 years ago
The last update could also be triggered by writing to the file, which would
possible reduce the number of executions of this procedure. The downside is
that the user may have changed the cursor to another header.
Original comment by marcmo...@gmail.com
on 2 Jul 2013 at 7:33
Original issue reported on code.google.com by
marcmo...@gmail.com
on 2 Jul 2013 at 7:28