# HG changeset patch
# User Christophe Lincoln <pankso@slitaz.org>
# Date 1389105349 -3600
# Node ID e38bfadddc2ff0e2d70f84d6a98b538c4ba51a7a
# Parent  1995b2fd927097d66dec710750475fa39a41b5b7
bigger font for preformated text, small improvment to dashboard plugin

diff -r 1995b2fd9270 -r e38bfadddc2f web/plugins/dashboard/dashboard.cgi
--- a/web/plugins/dashboard/dashboard.cgi	Tue Jan 07 15:22:49 2014 +0100
+++ b/web/plugins/dashboard/dashboard.cgi	Tue Jan 07 15:35:49 2014 +0100
@@ -17,14 +17,16 @@
 		users=$(ls -1 $PEOPLE | wc -l)
 		cat << EOT
 <h2>Users: $users</h2>
+<div id="tools">
+	<a href="$script?dashboard">Dashboard</a>
+</div>
 <pre>
 EOT
 		for u in $(ls $PEOPLE)
 		do
-			#. ${PEOPLE}/${u}/account.conf
 			. "${PEOPLE}/${u}/account.conf"
 			cat << EOT
-<img src="images/avatar.png" /> <a href="?user=$USER">$USER</a> | $NAME
+$(get_gravatar $MAIL 24) <a href="?user=$USER">$USER</a> | $NAME
 EOT
 # deluser link
 #: <a href="?users&amp;deluser=$USER">$(gettext "delete")</a>
@@ -34,6 +36,9 @@
 		
 	*\ dashboard\ *)
 		d="Dashboard"
+		users=$(ls -1 $PEOPLE | wc -l)
+		bugs=$(ls -1 $bugdir | wc -l)
+		bugsize=$(du -sh $bugdir | awk '{print $1}')
 		header
 		html_header
 		user_box
@@ -44,16 +49,15 @@
 		if admin_user; then
 			admintools="<a href='?users'>Users</a>"
 		fi
-		users=$(ls -1 $PEOPLE | wc -l)
-		bugsize=$(du -sh $bugdir | awk '{print $1}')
 		cat << EOT
 <h2>Dashboard</h2>
 <pre>
 Users     : $users
+Bugs      : $bugs
 Bugsize   : $bugsize
 </pre>
 <div id="tools">
-$admintools
+	$admintools
 </div>
 <h3>Admin users</h3>
 EOT
diff -r 1995b2fd9270 -r e38bfadddc2f web/style.css
--- a/web/style.css	Tue Jan 07 15:22:49 2014 +0100
+++ b/web/style.css	Tue Jan 07 15:35:49 2014 +0100
@@ -10,7 +10,7 @@
 img { border: 0pt none; vertical-align: middle; }
 pre {
 	overflow: auto;
-	font-size: 96%;
+	font-size: 98%;
 }
 textarea { width: 100%; }