[gnome-boxes/drop-share-clipboard-option] spice-display: Drop Properties option to Share Clipboard

[Felipe Borges <felipeborges src gnome org>]

commit 7f5c5efa7a533dcfe2ada4ae368a246fe7cbe008
Author: Felipe Borges <felipeborges gnome org>
Date:   Fri Jul 12 16:12:12 2019 +0200

    spice-display: Drop Properties option to Share Clipboard
    
    We ALWAYS share the clipboard. In the future we will introduce
    air-gapped VMs, those won't have the clipboard shared. Other than
    that, we don't see any use-case where sharing the clipboard is not
    the most convenient option.

 src/spice-display.vala | 10 ----------
 1 file changed, 10 deletions(-)
---
diff --git a/src/spice-display.vala b/src/spice-display.vala
index 28a0fb76..757287ed 100644
--- a/src/spice-display.vala
+++ b/src/spice-display.vala
@@ -47,10 +47,6 @@ private string get_box_name () {
     }
 
     construct {
-        gtk_session_saved_properties = {
-            BoxConfig.SavedProperty () { name = "auto-clipboard", default_value = true },
-        };
-
         need_password = false;
         session = new Session ();
         audio = Spice.Audio.get (session, null);
@@ -356,12 +352,6 @@ private void on_new_file_transfer (Spice.MainChannel main_channel, Object transf
 
         switch (page) {
         case PropertiesPage.GENERAL:
-            var toggle = new Gtk.Switch ();
-            gtk_session.bind_property ("auto-clipboard", toggle, "active",
-                                       BindingFlags.BIDIRECTIONAL | BindingFlags.SYNC_CREATE);
-            toggle.halign = Gtk.Align.START;
-            add_property (ref list, _("Share Clipboard"), toggle);
-
             if (!connected || main_channel.agent_connected)
                 break;
             var link_address = "<a 
href=\"http://www.spice-space.org/download.html\";>http://www.spice-space.org/download.html</a>";