I think the stored fold-state deserves being in standard Geany, and not relying 
on a plugin.

**From previous post, above :**
_"Saving fold status has been discussed before, but nobody came up with an 
acceptable solution to how to detect and handle the situation of the file 
having changed since the fold status was saved. Concrete proposals are 
welcome."_

**Proposal** :
I don't know if you find this solution feasible, but wouldn't it be possible to 
:
A) keep a memory of the fold state (in a file in the Geany folder?) together 
with 
B) a record of modified date and time of the file ? 

**How would you detect the situation of file changed since the fold status** ?
Compare stored fold-time with file modification-time
 
**How would you handle if an opened file was changed since last stored 
fold-state ?**  
I would find it acceptable resetting the fold-state -- it is still a great 
improvement from how it works now



-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/793#issuecomment-544267785

Reply via email to