-
-
Notifications
You must be signed in to change notification settings - Fork 34
Description
Racket's scribblings can use various heading elements to break up the document:
I'm not sure how well this extension currently understands the Racket syntax, but Scribble files are just Racket files with a different extension, so there should be some way to find the sections to add the folds automatically. That might even be easier than trying to do it by naïvely scraping the text. They don't have a well defined end marker, so each section ends whenever a new section at least that large starts.
Anyway, I installed the maptz.regionfolder extension, which lets me manually fold regions, and it does have an amazing keyboard shortcut where you have to do two accelerator keystrokes to activate it (contrast with IntelliJ's Ctrl-Alt-. which works out of the box and only requires one keystroke), but it works. Doesn't do anything for configuring folding for these files out of the box, though.