News for hackers. Stuff that matters.
Re:Leo Editor by I_complete_me on Tuesday September 28, 2021 @04:49PM (#28687320)
I've been using them so long I can't be 100% sure but while they both fold, only one of them preserves the title of the heading while the other folds the whole section. Check the documentation.

There are no comments on this comment yet.