/**  * File and FTP Explorer  * Copyright 2002  * BOESCH Vincent  *  * This program is free software; you can redistribute it and/or  * modify it under the terms of the GNU General Public License  * as published by the Free Software Foundation; either version 2  * of the License, or (at your option) any later version.  *  * This program is distributed in the hope that it will be useful,  * but WITHOUT ANY WARRANTY; without even the implied warranty of  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the  * GNU General Public License for more details.  *  * You should have received a copy of the GNU General Public License  * along with this program; if not, write to the Free Software  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.  */package javaexplorer.gui.internal;import java.awt.*;import javaexplorer.Launcher;import javaexplorer.gui.disk.*;import javaexplorer.model.*;import javaexplorer.ressource.*;import javax.swing.JInternalFrame;/** *@author     BOESCH Vincent *@created    21 janvier 2002 *@version    3.3 */public class JInternalEFFrame extends JInternalFrame implements DiskFrame {    private EFDisk _jad = null;    private Launcher _launcher = null;    /**     *  Constructor for the JInternalDiskFrame     *  object     *     *@param  root       Description of the     *      Parameter     *@param  launcher   Description of the     *      Parameter     */    public JInternalEFFrame(XFile root, Launcher launcher) {        super("Explorer", true, true, true, true);        _launcher = launcher;        if (root != null) {            setTitle(root.toString());        }        initDisk(root);        initGui();    }    /**     *  Gets the Disk attribute of the JInternalDiskFrame     *  object     *     *@return    The Disk value     */    public Disk getDisk() {        return _jad;    }    /**     *@param  root  Description of the Parameter     */    private void initDisk(XFile root) {        _jad = new JEFDisk(_launcher);        ((JEFDisk) _jad).setEF(root);        if (root == null) {            setFrameIcon(ImageRessource.iiExplorer);        } else {            if (root instanceof javaexplorer.manager.zip.ZipXF) {                setFrameIcon(ImageRessource.iiZip);            } else {                setFrameIcon(ImageRessource.iiDisk);            }        }    }    /**     */    private void initGui() {        try {            getContentPane().setLayout(new BorderLayout());            setBounds(50 + (5 * _launcher.getMDIModel().getFrameCount()),                50 + (5 * _launcher.getMDIModel().getFrameCount()), 400, 300);            _jad.init();            getContentPane().add(_jad.getComponent(), BorderLayout.CENTER);        } catch (Exception e) {            javaexplorer.util.Log.addError(e);            return;        }    }    /**     *  Sets the launcher attribute of the     *  JInternalEFFrame object     *     *@param  launcher  The new launcher value     */    public void setLauncher(Launcher launcher) {        _launcher = launcher;    }}