edu.upenn.crimson.gui
Class ViewHTML.HTMLFilter

java.lang.Object
  javax.swing.filechooser.FileFilter
      edu.upenn.crimson.gui.ViewHTML.HTMLFilter

Enclosing class:

ViewHTML

private class ViewHTML.HTMLFilter
extends javax.swing.filechooser.FileFilter

HTML FileFilter.

Constructor Summary

private

ViewHTML.HTMLFilter()

Method Summary

boolean	accept(java.io.File f)
java.lang.String	getDescription()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ViewHTML.HTMLFilter

private ViewHTML.HTMLFilter()

Method Detail

accept

public boolean accept(java.io.File f)

Specified by:

accept in class javax.swing.filechooser.FileFilter

getDescription

public java.lang.String getDescription()

Specified by:

getDescription in class javax.swing.filechooser.FileFilter