[Github-comments] [geany/geany] Remember "fold" status for open files (#793)

JanAxelsson notifications at xxxxx
Sun Oct 20 16:26:59 UTC 2019


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.geany.org/pipermail/github-comments/attachments/20191020/180e9199/attachment.html>


More information about the Github-comments mailing list