ProofGeneral
Bullet level increase/decrease
When editing exisitng proofs I often have to increase or decrease bullet indentation by 1 level. For example, increasing will change all '-' bullets to '+' and all '+' bullets to '-'. It would be nice to have a feature in PG where I can select a region and increase or decrease bullet level within it.
I was starting to look at potential ways of implementing that as I side project with the goal of learning more emacs programming.
The bullets are currently recognized by outline-mode and could be folded/unfolded via Outline menu. It currently has promote-subtree and demote-subtree functionality which does nothing for bullets. Perhaps it should be tied up to that?
Another question I have if this feature worth implementing in PG, or in company-coq? Especially given current major code base change wrt async branch in PG. @cpitclaudel any thoughts on this?
The bullets are currently recognized by outline-mode and could be folded/unfolded via Outline menu. It currently has
promote-subtreeanddemote-subtreefunctionality which does nothing for bullets. Perhaps it should be tied up to that?
Maybe all it takes is to set outline-heading-alist appropriately?
I think company-coq, since it has the outline support in there; eventually, I want to merge most of company-coq in PG. "eventually" ^^ That would be a great feature.
