path property

String path

Return the path of the file for which folding regions are being requested.

Implementation

String get path;