Re: Pls test --gui=console in devel and ekr-undo

On Sat, Nov 14, 2020 at 11:31 AM Thomas Passin wrote: > I got the crash in devel, and no crash but no functionality in the > ekr-undo branch, > > I have never used the console gui in practice, but I would imagine I would > want to be able to use the minibuffer. > Thanks for your testing. #1734

Re: Google groups no longer provides pinned posts, program highlighting?

On Sat, Nov 14, 2020 at 2:04 PM Rob wrote: I don't like it either. I don't care that much about editing prior posts, > but I really miss the code view. Perhaps there's a workaround for that? There's always a workaround. A url pointing to a github issue is good enough for me. Github has really

Re: Themes documentation

On Mon, Nov 9, 2020 at 3:27 PM Thomas Passin wrote: I think underscore vs dash does not matter. When Leo imports the settings, > both of them are removed. > That's correct. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To

Re: Themes documentation

On Mon, Nov 9, 2020 at 2:22 PM Rob wrote: > Having trouble loading different themes, so checking the online > documentation here as > well as looking at the main LeoSettings.leo and other theme files, I'm > confused. > > Quoting from the web

Re: Google groups no longer provides pinned posts, program highlighting?

I thought it was just me, so I suppose it's somewhat comforting to know it isn't:-( I don't like it either. I don't care that much about editing prior posts, but I really miss the code view. Perhaps there's a workaround for that? Rob... On Thursday, November 12, 2020 at 4:00:05 PM UTC-5

Re: Pls test --gui=console in devel and ekr-undo

I got the crash in devel, and no crash but no functionality in the ekr-undo branch, I have never used the console gui in practice, but I would imagine I would want to be able to use the minibuffer. On Saturday, November 14, 2020 at 11:54:58 AM UTC-5, Edward K. Ream wrote: > > > It looks like

Pls test --gui=console in devel and ekr-undo

It looks like nobody uses the minibuffer for the curses gui. The c.masterCommand method no longer exists. This will cause a crash in the minibuffer in the devel branch. The crasher is gone in the ekr-undo branch, but I'm not sure the minibuffer is at all functions. Edward -- You received

ENB: The end of refactoring frenzy :-)

Hehe, my sabbatical has been looking like work the last few days. Several issues demanded attention: #1731 was urgent, and #1726 and #1691

Re: The ekr-1591 branch works around icons problems in the todo plugin

On Wednesday, November 11, 2020 at 5:57:25 AM UTC-6 Edward K. Ream wrote: > The ekr-1591 branch > is ready for > testing. This branch fixes #1591 > : Todo icons are > not shown for

Re: The ekr-tabs branch is ready for testing

On Thursday, November 12, 2020 at 2:15:59 PM UTC-6 Edward K. Ream wrote: > > This branch contains work for #1731 > . PR #1732 > is the corresponding > PR. > I have just merged the