[Geany-Devel] document_open_file

[Matthew Brush]

On 2017-10-25 12:47 PM, Lars Paulsen wrote:
> Hi,
> 
> if I open a document via document_open_file() will it also be opened if 
> it is already opened?
> So, do I need to check myself if a file is already open to prevent it 
> from being opened again?
> 

No you don't need to check, it's done internally in 
`document_open_file_full` (which is called by `document_open_file`).

https://github.com/geany/geany/blob/master/src/document.c#L1323

Regards,
Matthew Brush