Hi all,
Following up the successful addition of line numbers for editor windows,
we're considering moving shell prompts to a similar side-bar instead of
having them inline.
*I'd love to hear opinions about this from more active users!*
This is a PR ready, I'm attaching a screenshot to make it ea
If I’d known that was possible I’d have done that 2 years ago. So +1.
On Fri, Nov 1, 2019 at 15:38 Tal Einat wrote:
> Hi all,
>
> Following up the successful addition of line numbers for editor windows,
> we're considering moving shell prompts to a similar side-bar instead of
> having them inlin
Yes, most definitely!
On Fri, Nov 1, 2019 at 7:37 PM Tal Einat wrote:
> Hi all,
>
> Following up the successful addition of line numbers for editor windows,
> we're considering moving shell prompts to a similar side-bar instead of
> having them inline.
>
> *I'd love to hear opinions about this f
On 11/1/2019 6:45 PM, Guido van Rossum wrote:
If I’d known that was possible I’d have done that 2 years ago. So +1.
Did you mean 20 years ago (1999), when (AFAIK) you submitted the first
patches?
In any case, I appreciate the quick positive response from you and
André. I posted the idea fo
On Fri, Nov 1, 2019 at 9:24 PM Terry Reedy wrote:
> On 11/1/2019 6:45 PM, Guido van Rossum wrote:
> > If I’d known that was possible I’d have done that 2 years ago. So +1.
>
> Did you mean 20 years ago (1999), when (AFAIK) you submitted the first
> patches?
>
Yes. Stupid phone "keyboard".
> In
