You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently, ResourcePath is ordered lexicographically. This is rather arbitrary. Instead, we could order paths in load order (i.e. Default, everything else, User). This would be immediately useful for, e.g., the syntax submodule, and probably more useful to users than lexicographic ordering.