On Thu, 2015-05-07 at 15:05 -0700, Per Bothner wrote:
On 05/07/2015 02:44 PM, Per Bothner wrote:
Gnome Terminal 3.16.1 (as in f22) doesn't support middle-click
pasting of the selection, even though I:
(1) Have set Middle-click Paste to ON in gnome-tweak-tool, *and*:
(2) have the following
On 05/07/2015 07:11 PM, Matthew Miller wrote:
On Thu, May 07, 2015 at 03:05:49PM -0700, Per Bothner wrote:
It occurred to me: Maybe this is a problem with Gnome on Wayland.
It's not just GNOME. It's just plain not-a-thing in Wayland, currently.
Middle-click paste works on at least some
On Fri, May 8, 2015 at 4:19 AM, Per Bothner p...@bothner.com wrote:
On 05/07/2015 07:11 PM, Matthew Miller wrote:
On Thu, May 07, 2015 at 03:05:49PM -0700, Per Bothner wrote:
It occurred to me: Maybe this is a problem with Gnome on Wayland.
It's not just GNOME. It's just plain
On 05/07/2015 02:44 PM, Per Bothner wrote:
Gnome Terminal 3.16.1 (as in f22) doesn't support middle-click
pasting of the selection, even though I:
(1) Have set Middle-click Paste to ON in gnome-tweak-tool, *and*:
(2) have the following in my ~/.config/gtk-3.0/settings.ini:
[Settings]
