php/php_manual_en.chm and jedit beanshell script

From: 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);

« previous php.mirrors (#27639) next »