Use SwingUtil.refresh().

git-svn-id: svn+ssh://src.earth.threerings.net/narya/trunk@2106 542714f4-19e9-0310-aa3c-eee0fc999fb1

src/java/com/threerings/admin/client/ObjectEditorPanel.java

@@ -1,5 +1,5 @@
 //
-// $Id: ObjectEditorPanel.java,v 1.1 2002/06/07 06:22:24 mdb Exp $
+// $Id: ObjectEditorPanel.java,v 1.2 2003/01/11 01:03:01 shaper Exp $
 
 package com.threerings.admin.client;
 
@@ -9,9 +9,10 @@ import java.lang.reflect.Modifier;
 import javax.swing.BorderFactory;
 import javax.swing.event.AncestorEvent;
 
-import com.samskivert.swing.VGroupLayout;
 import com.samskivert.swing.ScrollablePanel;
+import com.samskivert.swing.VGroupLayout;
 import com.samskivert.swing.event.AncestorAdapter;
+import com.samskivert.swing.util.SwingUtil;
 
 import com.threerings.presents.dobj.DObject;
 import com.threerings.presents.dobj.ObjectAccessException;
@@ -102,8 +103,7 @@ public class ObjectEditorPanel extends ScrollablePanel
             Log.warning("Unable to introspect DObject!? " + se);
         }
 
-        revalidate();
-        repaint();
+        SwingUtil.refresh(this);
     }
 
     // documentation inherited from interface

src/java/com/threerings/micasa/lobby/table/TableListView.java

@@ -1,5 +1,5 @@
 //
-// $Id: TableListView.java,v 1.5 2002/07/25 23:20:22 mdb Exp $
+// $Id: TableListView.java,v 1.6 2003/01/11 01:03:02 shaper Exp $
 
 package com.threerings.micasa.lobby.table;
 
@@ -21,6 +21,7 @@ import javax.swing.event.ChangeListener;
 
 import com.samskivert.swing.HGroupLayout;
 import com.samskivert.swing.VGroupLayout;
+import com.samskivert.swing.util.SwingUtil;
 
 import com.threerings.crowd.client.PlaceView;
 import com.threerings.crowd.data.PlaceObject;
@@ -158,8 +159,7 @@ public class TableListView extends JPanel
         // appropriate list
         JPanel panel = table.inPlay() ? _playList : _matchList;
         panel.add(new TableItem(_ctx, _tdtr, table));
-        panel.revalidate();
-        panel.repaint();
+        SwingUtil.refresh(panel);
     }
 
     // documentation inherited
@@ -182,11 +182,9 @@ public class TableListView extends JPanel
         // list if it just transitioned
         if (table.gameOid != -1 && item.getParent() == _matchList) {
             _matchList.remove(item);
-            _matchList.revalidate();
-            _matchList.repaint();
+            SwingUtil.refresh(_matchList);
             _playList.add(item);
-            _playList.revalidate();
-            _playList.repaint();
+            SwingUtil.refresh(_playList);
         }
     }
 
@@ -206,8 +204,7 @@ public class TableListView extends JPanel
         // remove this item from the user interface
         JPanel panel = (JPanel)item.getParent();
         panel.remove(item);
-        panel.revalidate();
-        panel.repaint();
+        SwingUtil.refresh(panel);
 
         // let the little fellow know that we gave him the boot
         item.tableRemoved();