/**
* opens existing file
*
* @param a_file
*/
public GlyphFile(File a_file) {
super();
m_fileName = a_file;
URL url = null;
try {
url = a_file.toURI().toURL();
} catch (MalformedURLException e) {
e.printStackTrace();
}
init(url);
}
public String getShortFileName() {
return m_fileName.getName();
}