java.lang.Object
org.jedit.keymap.KeymapFileFilter
- All Implemented Interfaces:
FileFilter
A FileFilter that returns keymaps files.
- Since:
- jEdit 5.0
- Author:
- Matthieu Casanova
-
Constructor Summary
-
Method Summary
-
Constructor Details
-
KeymapFileFilter
public KeymapFileFilter()
-
-
Method Details
-
accept
- Specified by:
accept
in interfaceFileFilter
-