https://hal.archives-ouvertes.fr/hal-02177293
Tip revision: a5c3a632ff52caf942ac0457ce1ec733926a867b authored by Software Heritage on 01 January 2004, 00:00:00 UTC
hal: Deposit 315 in collection hal
hal: Deposit 315 in collection hal
Tip revision: a5c3a63
PanelFond.java
/*
* DesktopPaneBackground.java
*
* Created on 10 septembre 2001, 15:20
*/
package gui.principal;
import java.awt.Color;
import java.awt.Dimension;
import java.awt.Graphics;
import java.awt.Image;
import java.awt.Rectangle;
import java.awt.Toolkit;
import javax.swing.JDesktopPane;
/**
* panel permettant d'afficher l'image de fond du bureau de la fenętre principale.
* repris d'une version trainant sur le net.
*
* @author Vincent Labatut
* @version 1
*/
public class PanelFond extends JDesktopPane
{ /**
* image ŕ afficher dans le splash screen.
*/
Image image;
/**
* construit un nouveau splash screen.
*
* @param i image ŕ afficher dans le splash screen.
*/
public PanelFond(Image i)
{ image = i;
}
/*
*
*/
public void paintComponent(Graphics g)
{ //Insets insets = getInsets();
//int currentWidth = getWidth() - insets.left - insets.right;
//int currentHeight = getHeight() - insets.top - insets.bottom;
super.paintComponent(g); //paint background
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
g.drawImage(image, 0, 0,screen.width,screen.height, Color.WHITE,this);
}
/**
* centre l'image par rapport ŕ l'écran.
*
*/
private void center()
{
Dimension screen = Toolkit.getDefaultToolkit().getScreenSize();
Rectangle frame = getBounds();
setLocation((screen.width - frame.width)/2, (screen.height - frame.height)/2);
}
}