From 7d9f5a119a37f5f4d5e6b4fd930b423e3d477890 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Pau=20Fern=C3=A1ndez?= <pau.fernandez@upc.edu>
Date: Thu, 31 Mar 2011 23:49:05 +0200
Subject: [PATCH] Change icon in the compile button when compiled

---
 client.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/client.js b/client.js
index 3603298..257ae55 100644
--- a/client.js
+++ b/client.js
@@ -40,6 +40,9 @@ function showErrors(errs) {
   if (errs.length == 0) {
 	 $("#errors").css({ height: 0 });
 	 $("#runButton").button("enable");
+	 $("#compileButton")
+		.button("disable")
+		.button({ icons: { primary: 'ui-icon-check' } });
   } else {
 	 $("#errors").css({ height: "30%" });
 	 $("#runButton").button("disable");
@@ -78,6 +81,9 @@ function sessionStart(_session) {
 }
 
 function sourceCodeChanged() {
+  $("#compileButton")
+	 .button("enable")
+	 .button({ icons: { primary: 'ui-icon-gear' } });
   $("#runButton").button("disable");
 }