From 4ab5f483d2769d0c07c6f9aa525389ce1e2ac246 Mon Sep 17 00:00:00 2001
From: Marc Deslauriers <marc.deslauriers@ubuntu.com>
Date: Tue, 21 Aug 2012 13:02:04 -0400
Subject: [PATCH] Don't set CLIPBOARD buffer when selecting text

Selecting text should only set the PRIMARY buffer, not the CLIPBOARD
buffer. CLIPBOARD should only be used when "copy" is selected from
the menu. This also fixes a common segfault in that codepath.

https://bugzilla.gnome.org/show_bug.cgi?id=624792
https://bugzilla.gnome.org/show_bug.cgi?id=635317
https://bugzilla.gnome.org/show_bug.cgi?id=658502