Perte de l'historique, dt3.0.0rc2 obs / ubuntu 18.04

Bonsoir
Aujourd’hui en chambre noire, j’ai perdu 2x l’historique lorsqu’il sortait de la fonction de compression. En principe ça revient avec la commande « refaire », surtout si on refait machinalement sans trop réfléchir (comment on a bien pu en arriver là?), dans le feu d’une session d’édition sinon passionnante.
Par contre, si on a déjà cliqué sur table lumineuse, j’sais pas trop…
bref, j’ai jugé bon le signaler.

Y a-t-il une option de debug pertinente au lancement pour tracer ce genre de truc ?

[color=#3333cc]darktable:[/color] 3.0.0rc2~git56.a24e84de4 OBS
[color=#3333cc]Système:[/color] Ubuntu 18.04.3, Mate-destktop 1.20.1-2ubuntu

Cordialement

Non, ce qu’il faut c’est une séquence pour reproduire systématiquement le problème. Sans ça ce sera difficile voir impossible à corriger.

Merci Pascal.
Je m’en doutais un peu. Vais essayer d’être plus attentif à ce qu’il se passe avant de compresser mes historique.