[gitg/wip/clone] dash: add cloned repo to recent manager

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 50b28293e861f2e6cf71796176ed866be99ccbd6
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Thu Mar 21 21:06:59 2013 +0100

    dash: add cloned repo to recent manager

 libgitg-gtk/gitg-gtk-dash-view.vala |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/libgitg-gtk/gitg-gtk-dash-view.vala b/libgitg-gtk/gitg-gtk-dash-view.vala
index 18b8cb3..9ae1d6f 100644
--- a/libgitg-gtk/gitg-gtk-dash-view.vala
+++ b/libgitg-gtk/gitg-gtk-dash-view.vala
@@ -299,6 +299,11 @@ namespace GitgGtk
                                // FIXME: show an error
                                if (repository != null)
                                {
+                                       File? workdir = repository.get_workdir();
+                                       File? repo_file = repository.get_location();
+                                       var uri = (workdir != null) ? workdir.get_uri() : repo_file.get_uri();
+                                       add_repository_to_recent_manager(uri);
+
                                        Gitg.Ref? head = null;
 
                                        try