429         public void repaintButtons() {

   429         public void repaintButtons() {

   430             fAquaBorder.repaintButtonArea(frame);

   430             fAquaBorder.repaintButtonArea(frame);

   431         }

   431         }

   432 

   432 

   433         @Override

   433         @Override

   434         public void mouseReleased(final MouseEvent e) {

   435         public void mouseReleased(final MouseEvent e) {

   435             if (didForwardEvent(e)) return;

   436             if (didForwardEvent(e)) return;

   436 

   437 

   437             fDraggingFrame = false;

   438             fDraggingFrame = false;

   438 

   439