On Sun, 4 May 2008, Thomas Adam wrote:
On 04/05/2008, [EMAIL PROTECTED]
[...]
If you think this problem is cured in 2.4.25, I am glad to try it. But I
bet it is not. The problem is as I said one of those weird problems that I
But this doesn't have anything to do with FVWM. OK, I am not
On Mon, 5 May 2008, Sergey Vlasov wrote:
On Sun, 4 May 2008 18:06:00 -0400 (EDT) Thomas Dickey wrote:
There is a control sequence in xterm which can change this mode, but
I'd be surprised if mc is using it.
Recent libreadline (used by bash) sends this - you can observe it with
'strace -e
On Mon, May 05, 2008 at 01:29:58PM -0500, [EMAIL PROTECTED] wrote:
On Mon, 5 May 2008, Thomas Dickey wrote:
On Mon, 5 May 2008, Sergey Vlasov wrote:
On Sun, 4 May 2008 18:06:00 -0400 (EDT) Thomas Dickey wrote:
There is a control sequence in xterm which can change this mode, but
I'd
On Mon, 5 May 2008, Thomas Dickey wrote:
It was discussed on gnu.bash.bug at the beginning of February 2007.
(the same thread's on bug-ncurses).
minor correction - most of the thread's in April 2007.
--
Thomas E. Dickey
http://invisible-island.net
ftp://invisible-island.net
On Sun, Aug 16, 2020 at 09:33:58AM -0400, Dan Espen wrote:
> Thomas Dickey writes:
>
> > On Sun, Aug 16, 2020 at 08:39:08AM -0400, Dan Espen wrote:
> > ...
> >> ISPF edit.
> >> I don't remember XEDIT well (1978), but I think the 2 editors are very
> &
On Sun, Aug 16, 2020 at 08:39:08AM -0400, Dan Espen wrote:
...
> ISPF edit.
> I don't remember XEDIT well (1978), but I think the 2 editors are very close.
not really (aside from running on the same hardware).
for your amusement
https://invisible-island.net/personal/oldprogs.html#y1982
--
On Mon, Mar 22, 2021 at 07:56:01PM +0100, Dominik Vogt wrote:
> On Mon, Mar 15, 2021 at 01:38:56PM +0100, Klaus Altmann wrote:
> > how can I change the size, shape, or color of the mouse pointer? i mean this
> > little black arrow which is to tiny for my eyes...
>
> I have this in
- Original Message -
| From: "Klaus Altmann"
| To: fvwm@fvwm.org
| Sent: Monday, March 15, 2021 8:38:56 AM
| Subject: FVWM: mouse
| Hi everybody,
|
| how can I change the size, shape, or color of the mouse pointer? i mean
| this little black arrow which is to tiny for my eyes...
fvwm's
