GWT: Make 'running' entries blink.

rosedu · Nov 16, 2015 · c0520d9 · c0520d9
1 parent 5e46364
commit c0520d9
Show file tree

Hide file tree

Showing 2 changed files with 48 additions and 2 deletions.
diff --git a/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/StatisticsWidget.java b/gwt/vmchecker-gui/src/ro/pub/cs/vmchecker/client/ui/StatisticsWidget.java
@@ -121,7 +121,13 @@ private void populateTable(FlexTable table, User user, Assignment assignments[],
 					table.setText(i, j, result.accountName);
 				} else if (result.results.containsKey(assignments[j-1].id)) {
 					table.getCellFormatter().addStyleName(i, j, style.innercell());
-					table.setWidget(i, j, new Anchor(result.results.get(assignments[j-1].id)));
+					Anchor cellContent = new Anchor(result.results.get(assignments[j-1].id));
+					cellContent.removeStyleName("blink");
+					if (cellContent.getText() == "running") {
+						// Make "running" entries blink
+						cellContent.addStyleName("blink");
+					}
+					table.setWidget(i, j, cellContent);
 				}
 			}
 

diff --git a/gwt/vmchecker-gui/war/Vmchecker.css b/gwt/vmchecker-gui/war/Vmchecker.css
@@ -109,7 +109,7 @@ a.fillButton:hover {
 	text-decoration: none;
 }
 
-.popupContainer {	
+.popupContainer {
 	overflow: hidden;
 }
 
@@ -127,3 +127,43 @@ a.fillButton:hover {
 .check_error {
 	color: red;
 }
+
+.blink {
+	-webkit-animation-name: blink;
+	   -moz-animation-name: blink;
+	     -o-animation-name: blink;
+	        animation-name: blink;
+	-webkit-animation-timing-function: linear;
+	   -moz-animation-timing-function: linear;
+	     -o-animation-timing-function: linear;
+	        animation-timing-function: linear;
+	-webkit-animation-duration: 1s;
+	   -moz-animation-duration: 1s;
+	     -o-animation-duration: 1s;
+	        animation-duration: 1s;
+	-webkit-animation-iteration-count: infinite;
+	   -moz-animation-iteration-count: infinite;
+	     -o-animation-iteration-count: infinite;
+	        animation-iteration-count: infinite;
+}
+
+@-webkit-keyframes blink {
+  50% {
+    opacity: 0;
+  }
+}
+@-moz-keyframes blink {
+  50% {
+    opacity: 0;
+  }
+}
+@-o-keyframes blink {
+  50% {
+    opacity: 0;
+  }
+}
+@keyframes blink {
+  50% {
+    opacity: 0;
+  }
+}