annotate sat/VERSION @ 3123:130f9cb6e0ab

core (memory/params): added `extra` argument to filter out params notably in `getParamsUI`: In some case, it may be desirable for a frontend to not expose some parameters to user (e.g. it is the case on Android with the `autoconnect_backend` parameter). An new `extra` parameter has been added to a couple of parameters method for that: it can contain the `ignore` key with a list of [category, name] of parameters to skip.
author Goffi <goffi@goffi.org>
date Sat, 25 Jan 2020 21:08:40 +0100
parents ff5bcb12ae60
children efe2445b053c
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
3027
ff5bcb12ae60 0.8 development starts
Goffi <goffi@goffi.org>
parents: 3025
diff changeset
1 0.8.0D