-
Halla Rempt authored
This cleans up the pattern option a bit and makes the embedded pattern manager work much harder to find out whether the embedded pattern exists. And if it really doesn't exist, we do add it to the resource manager, but do not save it to disk.
8e0a5ea2