Folding Support

[jeroldhaas]

I may not fully understand the workings of the folding minor mode, and how it interacts with other modes, however this one may be an easy addition:
Documentation on folding

If someone could address / inform me of how this works with other modes (I'm just starting to work with spacemacs), I'd be happy to work on a PR for this issue.

[rneatherway]

I think that as a minor mode it should "just work" alongside other modes. What behaviour do you see if you try to enable it in fsharp-mode?

[jeroldhaas]

Folding error: mode is not in 'folding-mode-marks-alist'

Is there another package that should be used instead to support folds in fsharp-mode?

[jeroldhaas]

I'm chainging the issue to something more generalized, as it appears that folding-mode might require polluting the file with comment-based symbols.

[delexi]

For a start, we could use outline-minor-mode with

(setq outline-regexp "\\( *module \\)\\|\\( *type \\)\\|\\( *let \\)")

and some sensible key bindings.

Edit: And if we can get scope information from FsAC, using outline-flag-region is the way to go, I suppose:

(defun outline-flag-region (from to flag)
  "Hide or show lines from FROM to TO, according to FLAG.
If FLAG is nil then text is shown, while if FLAG is t the text is hidden."
  ;; ...
)

[rneatherway]

Interesting. It probably would be possible to get scope information, but your suggested regex would get us 99.9% of the way there so I don't think it's really worth it.

[jeroldhaas]

(setq outline-regexp "\\( *module \\)\\|\\( *type \\)\\|\\( *let \\)")

Forgive my ignorance: where would this above line be used in, for example, a .spacemacs or .emacs config file?

[delexi]

@jeroldhaas I put it into my .spacemacs inside an eval-after-load form like this:

(with-eval-after-load 'fsharp-mode
  (defun my-setup-outline-mode-for-fsharp-mode ()
    (setq-local outline-regexp "\\( *module \\)\\|\\( *type \\)\\|\\( *let \\)")
    (outline-minor-mode))
  (add-hook 'fsharp-mode-hook 'my-setup-outline-mode-for-fsharp-mode))

[delexi]

@rneatherway I would like to integrate this into fsharp-mode, maybe with a regex a bit more sophisticated than the one above.

I would like your input regarding these two points:

1. A defcustom to turn it off, if you do not want/need it.
2. Keybindings for show/hide a single item and show/hide all items (which prefix would you prefer)?

[rneatherway]

Sounds good. Do you want to turn on outline-minor-mode by default? I'm not sure if that will surprise people or not. Perhaps if we can demonstrate that it works well in practice, and the default view has everything visible then it is OK. Either way, I think a defcustom is a good way to go.

I found this page https://www.gnu.org/software/emacs/manual/html_node/emacs/Foldout.html on the topic of hiding and showing. Do those keybindings work already? I'm not convinced they are the best.

[jeroldhaas]

Considering spacemacs, I'd prefer it follow the evil binding for folds. Perhaps a dual binding can be done, for compatibility's sake?

[rneatherway]

What are those bindings? Is there a suggested way to provide evil bindings when you create a package? I've never used evil.

[jeroldhaas]

I'm not clear on standards for evil bindings.

• z a - toggle current fold
• z o - open fold
• z c - close fold
• z O - open folds recursively in fold branch
• z C - close folds recursively in fold branch
• z M - close all folds in buffer

See the vim documentation on folds for more, and likely more accurate, info.

[nosami]

@jeroldhaas Evil keys are already set up to do code folding in spacemacs.

Those keys should just work providing that folding is specified for either the major mode or one of the minor modes.