[Padre-dev] option: run with parameters

[Cezary Morga]

Gabor Szabo wrote:
> First step:
> Every time you press F5 you get a text box with the latest command
> line option in it

I've added a 'Run Parameters' menu option where you can set command line 
params to run the script with. Parameters are retreived from history 
based on script's filename.

-- 
Cezary Morga
"Man forgives woman anything save the wit to outwit him." (Minna Thomas 
Antrim)