On Sun, 16 Dec 2012 11:40:18 +0800 HaveF <[email protected]> wrote:
> sometimes, I need to refresh files one by one under some parent node... > > so I just wonder, should add "refresh from disk" at parent node is a good > idea? I've just pushed a change so that "refresh from disk" is done for all selected nodes. You can either ctrl-click each @<file> node you want refreshed, then "refresh from disk" to refresh all of them, or shift-click the first and last @<file> node you want refreshed, to select the entries in between, then "refresh from disk" to refresh all of them. (i.e. standard UI list multi item selection) But be aware of this bug: https://bugs.launchpad.net/leo-editor/+bug/1090950 using refresh from disk immediately after cutting nodes from the outline has odd effects. Cheers -Terry -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
