# HG changeset patch
# User Raphael Velt <raph.velt@gmail.com>
# Date 1324484021 -3600
# Node ID 8231b4f3acca770f8919a7d681ad1f9fc50f8268
# Parent  d3b86c65c98015e5ce3b5705245ecf751b6ab447
Knowtex corrections

diff -r d3b86c65c980 -r 8231b4f3acca web/client_new.php
--- a/web/client_new.php	Tue Dec 20 16:26:34 2011 +0100
+++ b/web/client_new.php	Wed Dec 21 17:13:41 2011 +0100
@@ -163,7 +163,7 @@
                         <a href="../sweet-tweet/small.html"><?php echo($translate->_('SemanticBoard')); ?></a>
                     </li>
                     <li>
-                        <a href="http://labs.knowtex.com/enmi2011"><?php echo($translate->_('SocialGraph')); ?></a>
+                        <a href="http://labs.knowtex.com/enmi2011/?mapOnly#carto"><?php echo($translate->_('SocialGraph')); ?></a>
                     </li>
                 </ul>
                 <div class="ifwrap" id="vlWrap">
diff -r d3b86c65c980 -r 8231b4f3acca web/res/js-tweetcast/live-polemic.js
--- a/web/res/js-tweetcast/live-polemic.js	Tue Dec 20 16:26:34 2011 +0100
+++ b/web/res/js-tweetcast/live-polemic.js	Wed Dec 21 17:13:41 2011 +0100
@@ -261,7 +261,7 @@
 function ktxHighlightTweet(tweet) {
     var _gF = $("#graphFrame");
     if ( _gF.is(":visible") && _gF.attr("src").indexOf("labs.knowtex.com") != -1 ) {
-        _gF.attr("src",'http://labs.knowtex.com/enmi2011/#carto::user=' + tweet.user.screen_name + '&time=' + ~~(tweet.date_value/1000));
+        _gF.attr("src",'http://labs.knowtex.com/enmi2011/?mapOnly#carto::user=' + tweet.user.screen_name + '&time=' + ~~(tweet.date_value/1000));
     }
 }
 
@@ -293,7 +293,7 @@
     }
     html += '<div class="twmain">';
     var a_user = '<a href="http://twitter.com/' + tweet.user.screen_name + '"  onclick="filtrerTexte(\'@' + tweet.user.screen_name + '\'); return false;" target="_blank">';
-    html += '<div class="around_img">' + a_user + '<img class="profile_image" src="' + tweet.user.profile_image_url + '" /></a>';
+    html += '<div class="around_img"><img class="profile_image" src="' + tweet.user.profile_image_url + '" />';
     if (className == 'full') {
         html += '<p class="created_at">' + new Date(tweet.date_value).toTimeString().substr(0,8) + '</a></p>';
     }