Gildas 8ed23eea1e removed "px" from the logPanelWidth key il y a 7 ans
..
messages.json 8ed23eea1e removed "px" from the logPanelWidth key il y a 7 ans