[gnome-boxes] Remove unused pin/unpin utils

[Alexander Larsson <alexl src gnome org>]

commit 675d8f8f3618bafa661a9b307ded975c6f70dfd2
Author: Alexander Larsson <alexl redhat com>
Date:   Fri Jun 1 15:38:07 2012 +0200

    Remove unused pin/unpin utils
    
    https://bugzilla.gnome.org/show_bug.cgi?id=677274

 src/util.vala |    9 ---------
 1 files changed, 0 insertions(+), 9 deletions(-)
---
diff --git a/src/util.vala b/src/util.vala
index 6d30426..f1be832 100644
--- a/src/util.vala
+++ b/src/util.vala
@@ -267,15 +267,6 @@ namespace Boxes {
         container.remove_child (actor);
     }
 
-    public void actor_pin (Clutter.Actor actor) {
-        actor.set_geometry (actor.get_geometry ());
-    }
-
-    public void actor_unpin (Clutter.Actor actor) {
-        actor.set_size (-1, -1);
-        actor.set_position (-1, -1);
-    }
-
     public Osinfo.Device? get_os_device_by_prop (Osinfo.Os? os, string prop_name, string prop_value) {
         if (os == null)
             return null;