[jsword-svn] common/java/swing/org/crosswire/common/swing s

[jswordcvs at crosswire.org]

Update of /cvs/jsword/common/java/swing/org/crosswire/common/swing
In directory www.crosswire.org:/tmp/cvs-serv16854/java/swing/org/crosswire/common/swing

Modified Files:
	BeanPanel.java GuiUtil.java 
Log Message:
Fix bugs.

Index: BeanPanel.java
===================================================================
RCS file: /cvs/jsword/common/java/swing/org/crosswire/common/swing/BeanPanel.java,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** BeanPanel.java	24 Jan 2005 23:22:06 -0000	1.3
--- BeanPanel.java	3 Apr 2005 04:07:36 -0000	1.4
***************
*** 125,130 ****
          }
  
!         invalidate();
!         repaint();
      }
  
--- 125,129 ----
          }
  
!         GuiUtil.refresh(this);
      }
  

Index: GuiUtil.java
===================================================================
RCS file: /cvs/jsword/common/java/swing/org/crosswire/common/swing/GuiUtil.java,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** GuiUtil.java	8 Sep 2004 19:54:24 -0000	1.7
--- GuiUtil.java	3 Apr 2005 04:07:36 -0000	1.8
***************
*** 325,328 ****
--- 325,340 ----
  
      /**
+      * Cause a component to refresh its contents when it is changed
+      * by the program and needs to be redrawn.
+      * @param c the component to refresh
+      */
+     public static void refresh(Component c)
+     {
+         c.invalidate();
+         c.validate();
+         c.repaint();
+     }
+ 
+     /**
       * A more restricted version of pack() for component responding to live
       * component tweaks.
***************
*** 377,382 ****
          }
  
!         win.invalidate();
!         win.validate();
  
          // log.log(Level.INFO, "Failure", ex);
--- 389,393 ----
          }
  
!         refresh(win);
  
          // log.log(Level.INFO, "Failure", ex);
***************
*** 415,420 ****
          }
  
!         win.invalidate();
!         win.validate();
  
          // log.log(Level.INFO, "Failure", ex);
--- 426,430 ----
          }
  
!         refresh(win);
  
          // log.log(Level.INFO, "Failure", ex);