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-fix-phpmanual-view.patch | |
eclipse-phpeclipse: import from f16
Diffstat (limited to 'eclipse-phpeclipse-fix-phpmanual-view.patch')
| -rw-r--r-- | eclipse-phpeclipse-fix-phpmanual-view.patch | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/eclipse-phpeclipse-fix-phpmanual-view.patch b/eclipse-phpeclipse-fix-phpmanual-view.patch new file mode 100644 index 0000000..3958fc5 --- /dev/null +++ b/eclipse-phpeclipse-fix-phpmanual-view.patch @@ -0,0 +1,38 @@ +Index: ./plugins/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java +=================================================================== +--- ./plugins/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java (revision 1643) ++++ ./plugins/net.sourceforge.phpeclipse.phpmanual/src/net/sourceforge/phpeclipse/phpmanual/views/PHPManualView.java (working copy) +@@ -181,7 +181,8 @@ + Display.getDefault().asyncExec(new Runnable() { + public void run() { + String html = getHtmlSource(funcName); +- browser.setText(html); ++ if (html != null) ++ browser.setText(html); + } + }); + } +Index: ./plugins/net.sourceforge.phpeclipse.phpmanual/plugin.xml +=================================================================== +--- ./plugins/net.sourceforge.phpeclipse.phpmanual/plugin.xml (revision 1643) ++++ ./plugins/net.sourceforge.phpeclipse.phpmanual/plugin.xml (working copy) +@@ -13,16 +13,16 @@ + icon="icons/phpmanual.png" + category="net.sourceforge.phpeclipse.views.category" + class="net.sourceforge.phpeclipse.phpmanual.views.PHPManualView" +- id="net.sourceforge.phpeclipse.phpmanual.views.PHPManualViewz"> ++ id="net.sourceforge.phpeclipse.phpmanual.views.PHPManualView"> + </view> + </extension> + <extension + point="org.eclipse.ui.perspectiveExtensions"> + <perspectiveExtension +- targetID="org.eclipse.ui.resourcePerspective"> ++ targetID="net.sourceforge.phpeclipse.PHPPerspective"> + <view + ratio="0.5" +- relative="org.eclipse.ui.views.TaskList" ++ relative="net.sourceforge.phpeclipse.webbrowser.views" + relationship="right" + id="net.sourceforge.phpeclipse.phpmanual.views.PHPManualView"> + </view> |