From 1a6c81339affaec23e8fbde2a77fee7bc2a91850 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Mon, 23 Jan 2012 17:26:08 +0100 Subject: eclipse-phpeclipse: import from f16 --- eclipse-phpeclipse-external-parser.patch | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 eclipse-phpeclipse-external-parser.patch (limited to 'eclipse-phpeclipse-external-parser.patch') diff --git a/eclipse-phpeclipse-external-parser.patch b/eclipse-phpeclipse-external-parser.patch new file mode 100644 index 0000000..4f10893 --- /dev/null +++ b/eclipse-phpeclipse-external-parser.patch @@ -0,0 +1,17 @@ +Index: ./plugins/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java +=================================================================== +--- ./plugins/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java (revision 1625) ++++ ./plugins/net.sourceforge.phpeclipse.externaltools/src/net/sourceforge/phpdt/externaltools/actions/ExternalPHPParser.java (working copy) +@@ -50,11 +50,9 @@ + * the file that will be parsed + */ + public void phpExternalParse() { +- // IFile file = (IFile) resource; +- // final IPath path = file.getFullPath(); + final IPreferenceStore store = ExternalToolsPlugin.getDefault() + .getPreferenceStore(); +- final String filename = fFileToParse.getFullPath().toString(); ++ final String filename = fFileToParse.getLocation().toString(); + + final String[] arguments = { filename }; + final MessageFormat form = new MessageFormat(store -- cgit