From a3346979a8eb2d0fd3c936f73a5b4fb27b22c778 Mon Sep 17 00:00:00 2001
From: cdujeu <charles@ajaxplorer.info>
Date: Mon, 17 Mar 2014 23:13:18 +0100
Subject: [PATCH] WS selector: visually show that element was selected (cherry
 picked from commit 2419ffa)

---
 core/src/plugins/access.ajxp_user/class.UserDashboardHome.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/core/src/plugins/access.ajxp_user/class.UserDashboardHome.js b/core/src/plugins/access.ajxp_user/class.UserDashboardHome.js
index 2d0c1e049a..78bbddcfcf 100644
--- a/core/src/plugins/access.ajxp_user/class.UserDashboardHome.js
+++ b/core/src/plugins/access.ajxp_user/class.UserDashboardHome.js
@@ -78,8 +78,10 @@ Class.create("UserDashboardHome", AjxpPane, {
             };
             repoEl.observe("click", select);
             attachMobilTouchForClick(repoEl, select);
+            disableTextSelection(repoEl);
             repoEl.observe("dblclick", function(e){
                 select(e);
+                Event.findElement(e, "li").setOpacity(0.7);
                 switchToRepo(repoId);
             });
         });