Re: OT: My study of Rope

On Thu, Jan 5, 2023 at 7:02 PM Zoom.Quiet wrote: > Wow join rope develop long time ? > means Leo's develop need refactoring tools always? > Leo might be a better refactoring platform than Rope :-) I'm interested in Rope primarily because of its type inference. Edward -- You received this

Re: OT: My study of Rope

Wow join rope develop long time ? means Leo's develop need refactoring tools always? Edward K. Ream 于2023年1月6日周五 03:30写道： > > This Engineering Notebook post discusses recent investigations into Rope's > type inference. It may be of interest to some. > > Edward > > -- > You received this message

OT: My study of Rope

This Engineering Notebook post discusses recent investigations into Rope's type inference. It may be of interest to some. Edward -- You received this message because you are subscribed to the Google Groups

devel contains the check-nodes command

Leo's new check-nodes command replaces the corresponding script in Leo's scripting miscellany. This command seems essential when using `@clean` nodes in a collaborative environment. How did we ever live without it? I've update docs, in devel and online: - This page

Re: A curious observation, #2

There is actually some CSS styling possible for the gutter: A logical setting: @string font-size-gutter = 9pt and in the theme's stylesheet: QFrame#gutter { font-size: @font-size-gutter; background: @dark-base02; } On Thursday, January 5, 2023 at 12:38:58 PM UTC-5 jkn wrote: > Heh, I was

Re: A curious observation, #2

Heh, I was thinking of looking for a setting named that, for curiosity's sake if nothing else. Thanks for beating me to it... On Thursday, January 5, 2023 at 2:54:48 PM UTC tbp1...@gmail.com wrote: > I see in LeoPyRef that there is also a setting *gutter-w-adjust*. A > comment says its

Re: A curious observation, #2

I see in LeoPyRef that there is also a setting *gutter-w-adjust*. A comment says its function is to provide extra room for bolding the line number of the current line. Its default value seems to work for me (a good thing because I didn't know about it before now). The line numbers are not

Re: A curious observation, #2

A gutter-y-adjust value of 2 or 3 seems to work well for my current theme/font settings, thanks! On Thursday, January 5, 2023 at 7:52:03 AM UTC jkn wrote: > Ah brilliant, thanks. I didn't know about the gutter-y-adjust setting. I > do appreciate that getting it right programatically, for all