open_files


Description:

public signal void open_files (File[] files)

Requests files to be opened in an editor

Parameters:

files

The files to open in an editor