-
Leandro Melo authored
It was being reset based on the highlighter definitions. Consider some refactoring with the related options as well to avoid overriding user's settings. Done-with: Thorbjorn Lindeijer
Leandro Melo authoredIt was being reset based on the highlighter definitions. Consider some refactoring with the related options as well to avoid overriding user's settings. Done-with: Thorbjorn Lindeijer