After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 502470 - Source file reload after saving
Source file reload after saving
Status: RESOLVED DUPLICATE of bug 491491
Product: anjuta
Classification: Applications
Component: plugins: editor: scintilla
2.3.x
Other All
: Normal minor
: ---
Assigned To: Naba Kumar
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2007-12-08 10:47 UTC by Andreas Volz
Modified: 2008-08-05 20:42 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Andreas Volz 2007-12-08 10:47:20 UTC 
Please describe the problem:
Sometimes I save a source file and after that Anjuta asks me to reload it:

The file 'main.cc' on the disk is more recent than
the current buffer.
Do you want to reload it?

But I'm sure that I didn't modify it from the outside.

Currently active editor plugin is scintilla.

Steps to reproduce:
1. 
2. 
3. 


Actual results:


Expected results:


Does this happen every time?


Other information:
Comment 1 Liran Nuna 2008-05-02 18:24:31 UTC 
I can confirm this bug as still present on version 2.4.1, using scintilla editor.
Comment 2 Johannes Schmid 2008-07-05 15:56:46 UTC 
Seems like a problem in the scintilla plugin because waiting 5 seconds before the monitor is added works fine for the sourceview editor.
Comment 3 Massimo Cora' 2008-07-30 23:34:10 UTC 
I have this problem too with Scintilla and Anjuta trunk.
Comment 4 Sébastien Granjoux 2008-08-05 20:42:27 UTC 

*** This bug has been marked as a duplicate of 491491 ***