diff options
| author | Joakim Verona | 2010-04-15 11:20:03 +0200 |
|---|---|---|
| committer | Joakim Verona | 2010-04-15 11:20:03 +0200 |
| commit | 998fc3676243277f3b1c73eb91c055c80a7498c7 (patch) | |
| tree | ba74f989f083982a53e228cbaea6439de17c120a /src/buffer.h | |
| parent | 245e223a57ac14d168702891f6efbe0eb11b0384 (diff) | |
| parent | 041b80fcd9e6d7b499f08a6163ead3dc3efa4d3d (diff) | |
| download | emacs-998fc3676243277f3b1c73eb91c055c80a7498c7.tar.gz emacs-998fc3676243277f3b1c73eb91c055c80a7498c7.zip | |
merge from trunk
Diffstat (limited to 'src/buffer.h')
| -rw-r--r-- | src/buffer.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/buffer.h b/src/buffer.h index 40f03daca90..fa3fc6dafb8 100644 --- a/src/buffer.h +++ b/src/buffer.h | |||
| @@ -513,6 +513,12 @@ struct buffer | |||
| 513 | 0 means visited file modtime unknown; in no case complain | 513 | 0 means visited file modtime unknown; in no case complain |
| 514 | about any mismatch on next save attempt. */ | 514 | about any mismatch on next save attempt. */ |
| 515 | int modtime; | 515 | int modtime; |
| 516 | /* Size of the file when modtime was set. This is used to detect the | ||
| 517 | case where the file grew while we were reading it, so the modtime | ||
| 518 | is still the same (since it's rounded up to seconds) but we're actually | ||
| 519 | not up-to-date. -1 means the size is unknown. Only meaningful if | ||
| 520 | modtime is actually set. */ | ||
| 521 | EMACS_INT modtime_size; | ||
| 516 | /* The value of text->modiff at the last auto-save. */ | 522 | /* The value of text->modiff at the last auto-save. */ |
| 517 | int auto_save_modified; | 523 | int auto_save_modified; |
| 518 | /* The value of text->modiff at the last display error. | 524 | /* The value of text->modiff at the last display error. |