Gary Johnson wrote: > In Vim 7.4.1192 and previous, the :options command shows > 'undolevels' and 'undoreload' under "14 editing text", but > 'undofile' and 'undodir' under "21 command line editing". > > 1. I think all the undo options should be grouped together in the > :options display. > > 2. I don't think it makes sense to have undo options under "command > line editing". > > Consequently, I moved the entries for 'undofile' and 'undodir' to > where 'undolevels' and 'undoreload' are located and put all four in > alphabetical order. The result looks like this: > > -------------------------------------------------------------------- > > 14 editing text > > undodir list of directories for undo files > set udir=. > undofile automatically save and restore undo history > set noudf udf > undolevels maximum number of changes that can be undone > (global or local to buffer) > set ul=1000 > undoreload maximum number lines to save for undo on a buffer reload > set ur=10000 > modified changes have been made and not written to a file > (local to buffer) > set nomod mod > -------------------------------------------------------------------- > > A patch is attached in case it's agreed that this is the right thing > to do.
I agree, thanks! -- hundred-and-one symptoms of being an internet addict: 74. Your most erotic dreams are about cybersex /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
