diff options
| author |  Alexis Degrugillier <aledeg@users.noreply.github.com>
| 2021-01-07 15:47:39 -0500 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-01-07 21:47:39 +0100 |
| commit | 85cbfcedb50b3a579d13697b4ec27c87450f68a7 (patch) | |
| tree | f80a4438ef52a14ee0d5ea272a60f8e1ce429e83 /Docker/Dockerfile | |
| parent | ef458992c12438f88780c52076cf105e3de8a60e (diff) | |
Update user query feature (#3338)
* Change user query wording
There was some misunderstanding in the use of the user query feature,
probably because of the wording. I've change it to make it more obvious.
* Fix feedback when a query is bookmarked
Before, the displayed query name was not the one intended. Now, the name is the one of the current bookmark
* Document user queries
I've added a few words on how to use the user queries because it seems there was some misunderstanding. See #3219
Diffstat (limited to 'Docker/Dockerfile')
0 files changed, 0 insertions, 0 deletions