[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: GUI terminal widget
From: |
Ian McCallion |
Subject: |
Re: GUI terminal widget |
Date: |
Wed, 5 Jun 2019 17:58:35 +0200 |
On Wed, 5 Jun 2019 at 16:49, John W. Eaton <address@hidden> wrote:
> Having the capabilities of less would be nice, but I don't see it as
> necessary. We could also just provide good ways to search in the
> command window without having output paged and that would probably
> satisfy most users. We've already disabled the pager by default anyway
> because having it enabled seems to confuse new users. So I don't think
> most GUI users will miss it much even if we provide nothing but scrollbars.
I would personally downvote a pager which seems an archaic way of
getting around text and deeply rooted in UNIX history. So scrollbars,
yes, search, maybe, but working pageup and pagedown keys, yes, and
ability to mark and copy more than a window's worth of text by
automatic scrolling, yes.
(Apologies if this outsider view is out of place on octave-maintainers)
Cheers... Ian
- Re: GUI terminal widget, (continued)
- Re: GUI terminal widget, CROZIER Richard, 2019/06/04
- Re: GUI terminal widget, Rik, 2019/06/04
- Re: GUI terminal widget, John W. Eaton, 2019/06/04
- Re: GUI terminal widget, Nicholas Jankowski, 2019/06/04
- Re: GUI terminal widget, Pantxo, 2019/06/05
- Re: GUI terminal widget, John W. Eaton, 2019/06/05
- Re: GUI terminal widget,
Ian McCallion <=
- Re: GUI terminal widget, PhilipNienhuis, 2019/06/05
Re: GUI terminal widget, Mike Miller, 2019/06/04
Re: GUI terminal widget, John W. Eaton, 2019/06/04