From e6126a47876c7da2fbcf19bc49b6d959c1b803a6 Mon Sep 17 00:00:00 2001
From: Michael Bayne <mdb@threerings.net>
Date: Fri, 2 May 2003 15:11:51 +0000
Subject: [PATCH] If FPS display is on, dirty it properly when the view
 scrolls.

git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@2521 542714f4-19e9-0310-aa3c-eee0fc999fb1
---
 src/java/com/threerings/media/VirtualMediaPanel.java | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/java/com/threerings/media/VirtualMediaPanel.java b/src/java/com/threerings/media/VirtualMediaPanel.java
index ea3586315..72cf8dd64 100644
--- a/src/java/com/threerings/media/VirtualMediaPanel.java
+++ b/src/java/com/threerings/media/VirtualMediaPanel.java
@@ -1,5 +1,5 @@
 //
-// $Id: VirtualMediaPanel.java,v 1.16 2003/04/22 18:12:40 mdb Exp $
+// $Id: VirtualMediaPanel.java,v 1.17 2003/05/02 15:11:51 mdb Exp $
 
 package com.threerings.media;
 
@@ -240,6 +240,11 @@ public class VirtualMediaPanel extends MediaPanel
      */
     protected void viewLocationDidChange (int dx, int dy)
     {
+        if (_perfRect != null) {
+            Rectangle sdirty = new Rectangle(_perfRect);
+            sdirty.translate(-dx, -dy);
+            dirtyScreenRect(sdirty);
+        }
     }
 
     /**