Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: PATCH: curses tweaks, maybe
- X-seq: zsh-workers 23973
- From: Bart Schaefer <schaefer@xxxxxxxxxxxxxxxx>
- To: "Zsh Hackers' List" <zsh-workers@xxxxxxxxxx>
- Subject: Re: PATCH: curses tweaks, maybe
- Date: Wed, 17 Oct 2007 07:57:13 -0700
- In-reply-to: <200710170914.l9H9Eihs021321@xxxxxxxxxxxxxx>
- Mailing-list: contact zsh-workers-help@xxxxxxxxxx; run by ezmlm
- References: <20071016094040.4a48a750@news01> <20071017032955.GA25480@xxxxxxxxxxx> <20071017095724.44acafe1@news01> <200710170914.l9H9Eihs021321@xxxxxxxxxxxxxx>
On Oct 17, 10:14am, Peter Stephenson wrote:
}
} Peter Stephenson wrote:
} > On Tue, 16 Oct 2007 23:29:55 -0400
} > Clint Adams <clint@xxxxxxx> wrote:
} > > I think we should provide refresh() as zcurses -R.
} >
} > That's easy.
}
} Actually, wouldn't it be simpler to use "zcurses -r" with no argument
} for this? (Also I forgot to document the change.)
Maybe lower-case options should require a window name and upper case
should require that there NOT be a window name?
Then there'd be -R -I and -E for refresh/initscr/endwin.
I don't feel strongly, just suggesting.
Messages sorted by:
Reverse Date,
Date,
Thread,
Author