[Gambas-devel] Reload in Editor

[Benoit Minisini]

On lundi 12 novembre 2007, Robert Chéramy wrote:
> 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

OK, thanks. 

I will apply the same patch for other editors (form editor, text editor) for 
coherency.

Regards,

-- 
Benoit Minisini