Closed arcan1s closed 6 months ago
The issue appears during edit of the default extensions. During this process they are saved under the same name in home directory and later they are loaded from both system and home directories leading to duplicate entries in selector
fixed with 54acc5f
The issue appears during edit of the default extensions. During this process they are saved under the same name in home directory and later they are loaded from both system and home directories leading to duplicate entries in selector