Gildas 6d00e15c08 add `Infobar > keep infobar open` option (fix #1516, see #1504) il y a 1 an
..
messages.json 6d00e15c08 add `Infobar > keep infobar open` option (fix #1516, see #1504) il y a 1 an