[gnome-boxes] Update topbar title to help with ungrab

[Marc-Andre Lureau <malureau src gnome org>]

commit 241b7807775f26b53977550cc38e15862ba4ec49
Author: Marc-Andrà Lureau <marcandre lureau gmail com>
Date:   Tue May 22 21:14:59 2012 +0200

    Update topbar title to help with ungrab
    
    This should help user in case the mouse is grabbed.
    https://bugzilla.gnome.org/show_bug.cgi?id=676307

 src/display-page.vala |   21 ++++++++++++++++-----
 1 files changed, 16 insertions(+), 5 deletions(-)
---
diff --git a/src/display-page.vala b/src/display-page.vala
index dd1460c..4267fbc 100644
--- a/src/display-page.vala
+++ b/src/display-page.vala
@@ -4,8 +4,7 @@ using Gdk;
 
 private class Boxes.DisplayToolbar: Gtk.Toolbar {
     public string title {
-        get { return label.get_text (); }
-        set { label.set_text (value); }
+        set { label.set_markup (value); }
     }
     private Label label;
 
@@ -41,6 +40,7 @@ private class Boxes.DisplayToolbar: Gtk.Toolbar {
         /* center title - unfortunately, metacity doesn't even center its
            own title.. sad panda */
         label = new Label ("Display");
+        label.use_markup = true;
         center_group.add (label);
 
         var right_box = new Box (Orientation.HORIZONTAL, 12);
@@ -175,19 +175,30 @@ private class Boxes.DisplayPage: GLib.Object {
         app.notebook.page = Boxes.AppPage.DISPLAY;
     }
 
+    public void update_title () {
+        var machine = app.current_item as Boxes.Machine;
+        return_if_fail (machine != null);
+
+        var title = machine.name;
+        if (grabbed)
+            title = _("%s <b>(press Ctrl+Alt keys to ungrab)</b>").printf (title);
+
+        overlay_toolbar.title = toolbar.title = title;
+    }
+
     public void show_display (Boxes.Display display, Widget widget) {
         remove_display ();
 
         this.display = display;
         display_grabbed_id = display.notify["mouse-grabbed"].connect(() => {
-            update_title();
+            update_title ();
         });
         display_can_grab_id = display.notify["can-grab-mouse"].connect(() => {
-            update_toolbar_visible();
+            update_toolbar_visible ();
         });
 
         set_overlay_toolbar_visible (false);
-        overlay_toolbar.title = toolbar.title = machine.name;
+        update_title ();
         widget.set_events (widget.get_events () & ~Gdk.EventMask.POINTER_MOTION_MASK);
         event_box.add (widget);
         event_box.show_all ();