I applied indent-region !text = Tab now it works only in myLeoSettings.leo, all the rest open tabs behave as before.
ср, 11 нояб. 2020 г. в 09:43, gar <[email protected]>: > thanks, I'll try soon. What about those UI hangs? It seems like java's > garbage collector when you're using very old eclipse ide. > > 2020-11-11 0:06 GMT+03:00, Edward K. Ream <[email protected]>: > > On Tue, Nov 10, 2020 at 2:24 AM gar <[email protected]> wrote: > > > >> and another very bad thing is that editor's cursor may occasionally hang > >> for a second > >> it may happen on undo action, on coloring string on finish with ", on > >> deleting the whole word with ctrl-bs > >> it annoys a lot, and this is introduced in 6.3 > >> > > > > Iirc, there was a change in Leo's operation with 6.3. You may have to > > change your myLeoSettings.leo to match the new leoSettings.leo as far as > > tab bindings go. The relevant entries in leoSettings.leo: > > > > ### newline-and-indent !text = Tab (The old binding, > > commented out, as you see) > > indent-region !text = Tab > > indent-region = ctrl-greater # Ctrl-shift-> > > unindent-region = ctrl-less # Ctrl-Shift-< > > unindent-region = Shift-tab # Only when text is > > selected. > > > > My apologies for the difficulties. We discussed them here, but that > hardly > > matters. > > > > 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 [email protected]. > > To view this discussion on the web visit > > > https://groups.google.com/d/msgid/leo-editor/CAMF8tS0uRuuS%2BXWpKKasSR4zmT-yxDawn-zTirm_pO9q7CgGUg%40mail.gmail.com > . > > > -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAC%2B8SVzjmo3ZkYeteHQh5GUftAW0Pj%2BZRT_FUOsuDvFPgPGtrA%40mail.gmail.com.
