#15 Improved Run Command + HTML Browser

[Eur Ing Christopher Thoday]

If you set the option to save-before-run you cannot run
a read-only file because the save is done before the
test to see whether it has been modified.

If the save option is not set you get a confusing error
message and a potentially dangerous action if you
decide not to save.

If you attempt to run while editing an HTML file it is
treated as though it were a python script.

When editing an HTML help page there is no easy way of
displaying it to see what it looks like.

This patch corrects these problems.

[Eur Ing Christopher Thoday]

Zip file contains the patch, drHtmlBrowser.py and note.html

[Stewart Midwinter]

Logged In: YES
user_id=190543

Christian, could you add a complete copy of drpython.py to
your zip file instead of just the patch. For those of us on
Windows, it's perhaps not easy to make use of the patch file.

Also in your note.html file, you mention a change to the
drToolBarFile.py file, but that file is not included in your
zip file.

[Eur Ing Christopher Thoday]

Logged In: YES
user_id=187309

The patch file is not too difficult to read and the
relatively small changes can be made by hand. I have
attached an HTML file containing the source code and
comments in a more readablke form. Please note that the
drHtmlBrowser.py contains a correction necessary for it to
work properly pn Windows.

[Franz Steinhaeusler]

Logged In: YES
user_id=772872
Originator: NO

thanks, applied to drPython 165.