jwgui.java

来自「一个java实现的通过http1.1进行文件管理的开源项目」· Java 代码 · 共 59 行

// JWGUI.java
// $Id: JWGUI.java,v 1.41 2001/02/16 16:55:42 ylafon Exp $
// (c) COPYRIGHT MIT, INRIA and Keio, 1999.
// Please first read the full copyright statement in file COPYRIGHT.html

package org.w3c.jwput.gui;

import java.io.BufferedOutputStream;
import java.io.File;
import java.io.FileNotFoundException;
import java.io.FileOutputStream;
import java.io.IOException;
import java.io.InputStream;
import java.io.OutputStream;

import java.util.Hashtable;
import java.util.Properties;

import java.awt.BorderLayout;
import java.awt.CardLayout;
import java.awt.Cursor;
import java.awt.Font;

import java.awt.event.ActionListener;
import java.awt.event.ActionEvent;
import java.awt.event.WindowAdapter;
import java.awt.event.WindowEvent;

import javax.swing.Icon;
import javax.swing.ImageIcon;
import javax.swing.JComponent;
import javax.swing.JFrame;
import javax.swing.JMenuBar;
import javax.swing.JMenuItem;
import javax.swing.JMenu;
import javax.swing.JPanel;
import javax.swing.BorderFactory;
import javax.swing.UIManager;
import javax.swing.ProgressMonitorInputStream;
import javax.swing.ProgressMonitor;

import org.w3c.tools.widgets.Utilities;

import org.w3c.jigadmin.editors.MiniBrowser;

import org.w3c.util.XMLProperties;

import org.w3c.jwput.JWUI;
import org.w3c.jwput.JW;
import org.w3c.jwput.JWPut;
import org.w3c.jwput.JWGet;
import org.w3c.jwput.JWOptions;

import  org.w3c.jwput.gui.webdav.*;

/**
 * Winie's Graphical User Interface
 * @version $Revision: 1.41 $
 * @author  Beno顃 Mah