From kdevelop-bugs Fri Aug 31 12:41:04 2012 From: Fred Date: Fri, 31 Aug 2012 12:41:04 +0000 To: kdevelop-bugs Subject: [Bug 277748] Editor does not save files to disk Message-Id: X-MARC-Message: https://marc.info/?l=kdevelop-bugs&m=134641695816386 https://bugs.kde.org/show_bug.cgi?id=277748 Fred changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |fmarmond@gmail.com --- Comment #4 from Fred --- Same thing here : randomly, I can edit a file but it won't be detected as 'edited' by kdevelop (floppy disk icon is not displayed in the title tab), and the file won't be saved. I don't know how to reproduce, it's really random. -- You are receiving this mail because: You are the assignee for the bug. _______________________________________________ KDevelop-bugs mailing list KDevelop-bugs@kdevelop.org https://barney.cs.uni-potsdam.de/mailman/listinfo/kdevelop-bugs