|
|
$config.idReturns the id of an open config file |
| Syntax |
|
| Description |
| Returns the id of an open config file specified by <filename>. If no such file is open, 0 is returned (that is an invalid config identifier). |
| See also |
| Config module documentation |