Examples of ExternalFileType

net.sf.jabref.external.ExternalFileType
This class defines a type of external files that can be linked to from JabRef. The class contains enough information to provide an icon, a standard extension and a link to which application handles files of this type.

Examples of net.sf.jabref.external.ExternalFileType

            }
        }
    }


    public void openFile() {
        ExternalFileType type = (ExternalFileType)types.getSelectedItem();
        if (type != null)
            try {
                Util.openExternalFileAnyFormat(metaData, link.getText(), type);
            } catch (IOException e) {
                e.printStackTrace();

View Full Code Here

Examples of net.sf.jabref.external.ExternalFileType

        return entry.getType().getIconLabel();
    }


    
    private FileListEntry decodeEntry(ArrayList<String> contents, boolean deduceUnknownType) {
        ExternalFileType type = Globals.prefs.getExternalFileTypeByName
                        (getElementIfAvailable(contents, 2));
        if (deduceUnknownType && (type instanceof UnknownExternalFileType)) {
            // No file type was recognized. Try to find a usable file type based
            // on the extension:
            ExternalFileType typeGuess = null;
            String link = getElementIfAvailable(contents, 1);
            int index = link.lastIndexOf('.');
            if ((index >= 0) && (index < link.length()-1)) {
                String extension = link.substring(index+1);
                typeGuess = Globals.prefs.getExternalFileTypeByExt(extension);

View Full Code Here

Examples of net.sf.jabref.external.ExternalFileType

    ArrayList<String> notBibFiles = new ArrayList<String>();
    String encoding = Globals.prefs.get("defaultEncoding");
    for (int i = 0; i < fileNames.length; i++) {
      // Find the file's extension, if any:
            String extension = "";
      ExternalFileType fileType = null;
      int index = fileNames[i].lastIndexOf('.');
      if ((index >= 0) && (index < fileNames[i].length())) {
        extension = fileNames[i].substring(index + 1).toLowerCase();
        fileType = Globals.prefs.getExternalFileTypeByExt(extension);
      }

View Full Code Here

0 1

TOP

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.