[gnome-boxes/make-clearer-the-state-of-spice-guest-detection: 3/3] spice-display: Use "copy and paste" instead of "copy&paste"




commit ec48f7ccd0c91555d79fa76c5b8962cd9b44b264
Author: Felipe Borges <felipeborges gnome org>
Date:   Wed Jul 29 11:38:41 2020 +0200

    spice-display: Use "copy and paste" instead of "copy&paste"
    
    "copy&paste" is not one word and we don't use ampersands except in
    branding, so it should be written "copy and paste."
    
    Fixes #583

 src/spice-display.vala   | 2 +-
 src/vm-configurator.vala | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/spice-display.vala b/src/spice-display.vala
index 0af9ec01..0d2feee7 100644
--- a/src/spice-display.vala
+++ b/src/spice-display.vala
@@ -372,7 +372,7 @@ private void on_new_file_transfer (Spice.MainChannel main_channel, Object transf
             var link_address = "<a 
href=\"http://www.spice-space.org/download.html\";>http://www.spice-space.org/download.html</a>";
 
             // Translators: %s => a link to the website where users can download the guest tools.
-            var message = _("SPICE guest tools are not running. These tools improve user experience and 
enable host and box interactions, such as copy&amp;paste. Please visit %s to download and install these tools 
from within the box.").printf (link_address);
+            var message = _("SPICE guest tools are not running. These tools improve user experience and 
enable host and box interactions, such as copy and paste. Please visit %s to download and install these tools 
from within the box.").printf (link_address);
             var label = new Gtk.Label (message);
             label.vexpand = true;
             label.valign = Gtk.Align.END;
diff --git a/src/vm-configurator.vala b/src/vm-configurator.vala
index 98efa22a..7679cdc5 100644
--- a/src/vm-configurator.vala
+++ b/src/vm-configurator.vala
@@ -88,7 +88,7 @@ public static Domain create_domain_config (InstallerMedia install_media, string
         var graphics = create_graphics_device ();
         domain.add_device (graphics);
 
-        // SPICE agent channel. This is needed for features like copy&paste between host and guest etc to 
work.
+        // SPICE agent channel. This is needed for features like copy and paste between host and guest etc 
to work.
         var channel = new DomainChannel ();
         channel.set_target_type (DomainChannelTargetType.VIRTIO);
         channel.set_target_name ("com.redhat.spice.0");


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]