The props files are used to store things like the external environments or the autocomplete dictionaries. They're indexed by version number. As Gecko and Chromium backend have temporarily different version numbers, we need to handle them separatedely.
The props files are used to store things like the external environments or the autocomplete dictionaries. They're indexed by version number. As Gecko and Chromium backend have temporarily different version numbers, we need to handle them separatedely.