diff options
author | Remi Collet <fedora@famillecollet.com> | 2012-01-23 17:26:08 +0100 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2012-01-23 17:26:08 +0100 |
commit | 1a6c81339affaec23e8fbde2a77fee7bc2a91850 (patch) | |
tree | 6d376d814ef84988113bbb2fe9c9220ee58498d5 /eclipse-phpeclipse-external-parser.patch |
eclipse-phpeclipse: import from f16
Diffstat (limited to 'eclipse-phpeclipse-external-parser.patch')
-rw-r--r-- | eclipse-phpeclipse-external-parser.patch | 17 |
1 files changed, 17 insertions, 0 deletions
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 |