diff options
| author | Daniil Baturin <daniil@baturin.org> | 2018-06-05 16:35:12 +0700 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2018-06-05 16:35:12 +0700 |
| commit | 335560d2c0420a363942d3368dec0b04dd8bf62b (patch) | |
| tree | d47f9944e4e5b2881707151c40d9fa5858849ce8 /src/config_tree.mli | |
| parent | 7f26d95164265b0ffd345afd510bf03ee98cd1d8 (diff) | |
| download | vyconf-335560d2c0420a363942d3368dec0b04dd8bf62b.tar.gz vyconf-335560d2c0420a363942d3368dec0b04dd8bf62b.zip | |
Add a function for getting sorted children from a node and use it for sorting set commands.
Diffstat (limited to 'src/config_tree.mli')
| -rw-r--r-- | src/config_tree.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/config_tree.mli b/src/config_tree.mli index 0e21f59..79426e3 100644 --- a/src/config_tree.mli +++ b/src/config_tree.mli @@ -75,4 +75,4 @@ val render_at_level : string list -> string -val render_commands: ?reftree:(Reference_tree.t option) -> ?alwayssort:bool -> t -> string list -> string +val render_commands: ?reftree:(Reference_tree.t option) -> ?alwayssort:bool -> ?sortchildren:bool -> t -> string list -> string |