29-11-20, 18:03
Merci Hgmarty.
Ben ça vient de tomber en marche : je peux de nouveau filtrer les collections. J'ai lancé et arrêté dt à plusieurs reprises avant d'écrire le 1er post, et j'avais toujours le même comportement.
Je n'ai pas rebooté la machine, juste relancé dt encore, et le filtre de collection refonctionne. Tant mieux, mais c'est toujours un peu inquiétant...
Ben ça vient de tomber en marche : je peux de nouveau filtrer les collections. J'ai lancé et arrêté dt à plusieurs reprises avant d'écrire le 1er post, et j'avais toujours le même comportement.
Je n'ai pas rebooté la machine, juste relancé dt encore, et le filtre de collection refonctionne. Tant mieux, mais c'est toujours un peu inquiétant...
dt stable / Ubuntu 22.04