[ jEdit-users ] Console plugin questions/problems

[Shlomy R. <shl...@01...>]

Hi,

I have several questions/problems with the Console plugin.
I use jEdit 4.3pre8 on Windows.

1. I want to run a batch file to set some environment variables before
running a build. After running the batch file, the console does not get
the environment changes that the batch executed. Only when using the
%set command directly in the Console I can change environment variables.
Is there a way to change the Console environment from a batch file?

2. to work around problem 1, I created a single batch file that sets the
environment and executes the make process, but now I have another
problem: I can't stop the process in the middle. Ctrl+C and Ctrl+Break
do not work and if I stop the process using the stop button of the
Console, only the batch file stops and the make process it started
continues to run in the background and I have no control over it.

3. The output of the commands I type in the Console is sometimes
displayed very slowly, slowing down execution of the command.

Thanks,
Shlomy