[Gambas-devel] Reload in Editor

[Robert Chéramy]

Hi,

the "reload" button in the Editor (1.9.90, svn trunk) does nothing if 
the source has not been modified through the editor.
If the file has just been modified on the file system (for example a 
generated Database Module from the Database Manager), it won't be reloaded.

I think the "reload" button should reload the file from disk every time 
(after confirmation has been asked to the user).

I propose attached patch to change this behaviour.

Cheers,

tibob
-------------- next part --------------
A non-text attachment was scrubbed...
Name: editor_reload.diff
Type: text/x-patch
Size: 614 bytes
Desc: not available
URL: <http://lists.gambas-basic.org/pipermail/devel/attachments/20071112/b9a5c901/attachment.bin>