Bug#773915: 'Run in terminal' should use the preferred terminal

2017-10-08 Thread Simon McVittie
On Tue, 24 Jan 2017 at 14:46:02 +0100, Michael Biebl wrote: > Thinking about this, I came to the conclusion that the proposed solution > is insufficient > > a/ x-terminal-emulator can point to arbitrary terminals where we don't > know if they provide the necessary interface (see the comment regard

Bug#773915: 'Run in terminal' should use the preferred terminal

2017-01-24 Thread Michael Biebl
retitle 773915 'Run in terminal' should use the preferred terminal forwarded 773915 https://bugzilla.gnome.org/show_bug.cgi?id=627943#c31 tags 773915 - patch thanks Thinking about this, I came to the conclusion that the proposed solution is insufficient a/ x-terminal-emulator can point to arbitr