Re: Problems with mintty jump list

2018-07-01 Thread Thomas Wolff
Am 13.05.2018 um 23:05 schrieb Michael Schaap: On 13 May 18 22:04, Thomas Wolff wrote: Thanks, maybe jumplist-started instances should implicitly inherit AppID. Probably, yes.  In fact, not just jumplist-started instances, but any instance (also the default one) opened from the task bar icon.

Re: Problems with mintty jump list

2018-05-13 Thread Michael Schaap
On 13 May 18 22:04, Thomas Wolff wrote: Thanks, maybe jumplist-started instances should implicitly inherit AppID. Probably, yes.  In fact, not just jumplist-started instances, but any instance (also the default one) opened from the task bar icon. Are you sure --store-taskbar-properties is need

Re: Problems with mintty jump list

2018-05-13 Thread Thomas Wolff
Am 13.05.2018 um 16:37 schrieb Michael Schaap: On 13 May 18 11:45, Thomas Wolff wrote: Am 12.05.2018 um 19:15 schrieb Brian Inglis: On 2018-05-12 06:28, Michael Schaap wrote: I'm experimenting with the new mintty jump list feature, but I'm having trouble getting things working. I've added the

Re: Problems with mintty jump list

2018-05-13 Thread Michael Schaap
On 13 May 18 11:45, Thomas Wolff wrote: Am 12.05.2018 um 19:15 schrieb Brian Inglis: On 2018-05-12 06:28, Michael Schaap wrote: I'm experimenting with the new mintty jump list feature, but I'm having trouble getting things working. I've added the following to my .minttyrc: TaskCommands=de

Re: Problems with mintty jump list

2018-05-13 Thread Thomas Wolff
Am 12.05.2018 um 19:15 schrieb Brian Inglis: On 2018-05-12 06:28, Michael Schaap wrote: I'm experimenting with the new mintty jump list feature, but I'm having trouble getting things working. I've added the following to my .minttyrc:     TaskCommands=default:-p 100,100;myserver:-p bottom -p rig

Re: Problems with mintty jump list

2018-05-12 Thread Brian Inglis
On 2018-05-12 06:28, Michael Schaap wrote: > I'm experimenting with the new mintty jump list feature, but I'm having > trouble > getting things working. > I've added the following to my .minttyrc: >     TaskCommands=default:-p 100,100;myserver:-p bottom -p right -o > BackgroundColour=255,250,230 -

Problems with mintty jump list

2018-05-12 Thread Michael Schaap
I'm experimenting with the new mintty jump list feature, but I'm having trouble getting things working. I've added the following to my .minttyrc:     TaskCommands=default:-p 100,100;myserver:-p bottom -p right -o BackgroundColour=255,250,230 -e /usr/bin/ssh -C -Y -o ServerAliveInterval=60 mys