On Mon, Apr 18, 2016 at 5:04 PM, Edward K. Ream <edream...@gmail.com> wrote: > On Mon, Apr 18, 2016 at 3:19 PM, Zoom.Quiet <zoom.qu...@gmail.com> wrote: > >> - Ctrl+Shift+W need change currently node, not easy as Ctrl+S > > > Imo, you shouldn't often need this command if > @bool check_for_changed_external_files = True >
Yes, open it, everything be auto now, buy, under git, always alert me had changed by outdoor, but in fact, only changed branch, and fixed time. >> - refresh-from-disk is just need, but can not bind right hotkeys ~ >> look like Leo had used all kinds of hotkeys... > Hummm i'm not enjoy vim/emacs , i always need min hotkeys, thanks suggest, i not setup new hotkeys, just global setup as @bool check_for_changed_external_files = True > > All the Ctrl-number > > are unbound by default. > > Furthermore, Leo's history list feature (see the CheetSheet.leo, Executing > minibuffer commands) means that once you have executed any minibuffer > command, you can re-do that command using <Alt-x> followed by UpArrow or > DownArrow. > > To answer your question just now, you can bind to refresh-from-disk by > putting this in you myLeoSettings.leo: > > @shortcuts (headline) > > refresh-from-disk = Ctrl-1 > (and any other bindings you want). > > HTH > > Edward > > -- > You received this message because you are subscribed to the Google Groups > "leo-editor" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to leo-editor+unsubscr...@googlegroups.com. > To post to this group, send email to leo-editor@googlegroups.com. > Visit this group at https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. -- Life's Pathetic, Let's Pythonic! 人生苦短, Python是岸! 俺: http://zoomquiet.io 授: http://creativecommons.org/licenses/by-sa/2.5/cn/ 怒: 冗余不做,日子甭过!备份不做,十恶不赦! KM keep growing environment culture which promoting organization be learnning! -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
