Index: engine/gui.cs
===================================================================
RCS file: /local/cvs/dashboard/engine/gui.cs,v
retrieving revision 1.2
retrieving revision 1.3
diff -u -r1.2 -r1.3
--- engine/gui.cs	24 Oct 2003 01:13:42 -0000	1.2
+++ engine/gui.cs	7 Nov 2003 21:04:27 -0000	1.3
@@ -187,7 +187,10 @@
 		new public void Display (Match m)
 		{
 			lock (this.match_queue) {
-				this.match_queue.Enqueue (m);
+        // We don't want to display the same snippet twice on the same display.
+        if (! this.match_queue.Contains(m)) {
+  				this.match_queue.Enqueue (m);
+        }
 			}
 			notify_gtk.WakeupMain ();
 		}