php/php_manual_en.chm and jedit beanshell script
| From: | Jamie Howard | Date: | Tue, 08 Mar 2005 09:57:48 +0000 |
| Subject: | php/php_manual_en.chm and jedit beanshell script | ||
| Groups: | php.mirrors | ||
| Request: | Send a blank email to php-mirrors+get-27639@lists.php.net to get a copy of this message | ||
Just a quick note re the php manual chm integration with jedit.
On a windows system, the beanshell script u provide on the following address:
http://au.php.net/docs-echm
Works but hangs jedit until chm exit.
I provide an alternative which gets around this problem on my system. I havnt tested it on other
platforms but it certainly did the job for me :)
Keep up the good work, cheers - Jamie Howard
---
Open_in_PHP_Manual.bsh
---
CHM_location = "C:/Documents and Settings/Jamie.CHEESEFOREST/My Documents/My
eBooks/php/php_manual_en.chm";
if (textArea.getSelection().length > 0) {
CHM_location += "::/_function.html#" + textArea.getSelectedText();
}
Runtime.getRuntime().exec("HH " + CHM_location);