Menu

#783 Folding: "Fold all on open" performs 'Toggle All', instead of 'Fold All'

Release_xx.yy
open
Bug_Report
2019-01-02
2019-01-02
No

The option which automatically folds a source file upon opening (Settings->Editor->Folding->"Fold all on file open") should perform the equivalent of Edit->Folding->Fold All, but instead it simply performs Edit->Folding->Toggle All (Shift+F12) on the file's most recently known folding state from when it was last closed. All unfolded foldables become folded and all folded foldables become unfolded.

This was tested on the December 16th nightly but not the two newer ones (there was nothing in their changelog to indicate this was looked at).

To recreate

  • enable "Fold all on open" via the editor settings Folding dialog
  • open a source file
  • unfold all via Edit->Folding->Unfold All
  • fold a single function/comment
  • close the source file
  • open the source file, now everything will be folded except the one function that was folded

It would be useful to actually have a 'Fold all on open' which I imagine is why the option is there to begin with, but having it flip-flop the folding state is not useful and makes no sense.

Discussion

  • Milton Van Noland

    PS: The text bullet-point functionality of the ticket system italicized every other bullet point? WTH It looked like bullet points when I hit the submit button. Oh well.

     
  • Teodor Petrov

    Teodor Petrov - 2019-01-02
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -3,6 +3,7 @@
     This was tested on the December 16th nightly but not the two newer ones (there was nothing in their changelog to indicate this was looked at).
    
     To recreate
    +
    
     * enable "Fold all on open" via the editor settings Folding dialog
     * open a source file
     * unfold all via Edit->Folding->Unfold All
    
     
  • Teodor Petrov

    Teodor Petrov - 2019-01-02
    • labels: --> Editor, Folding
    • assigned_to: Teodor Petrov
    • Milestone: Undefined --> Release_xx.yy
     

Log in to post a comment.

MongoDB Logo MongoDB