diff options
| author | Mikaƫl Capelle <capelle.mikael@gmail.com> | 2021-01-29 19:29:21 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-29 19:29:21 +0100 |
| commit | f53e5406d4292f484257178ec5733f6ceb116673 (patch) | |
| tree | f08dfdba6a38986a93612a5aa0166f3008110ad7 /src/shared/filesorigin.h | |
| parent | 8606bf70c76252e20f888264bfbdedde0f1c8754 (diff) | |
| parent | 48fae18ac6baced388b1fa7cee6c18e6aa8dbab3 (diff) | |
Merge pull request #1378 from Holt59/fix-priority-management
Increase robustness of mods priority in profile.
Diffstat (limited to 'src/shared/filesorigin.h')
| -rw-r--r-- | src/shared/filesorigin.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/shared/filesorigin.h b/src/shared/filesorigin.h index 222a834f..1aa4c645 100644 --- a/src/shared/filesorigin.h +++ b/src/shared/filesorigin.h @@ -22,8 +22,8 @@ public: FilesOrigin(const FilesOrigin&) = delete; FilesOrigin& operator=(const FilesOrigin&) = delete; - // sets priority for this origin, but it will overwrite the existing mapping - // for this priority, the previous origin will no longer be referenced + // sets priority for this origin (does not automatically refresh + // the structure) void setPriority(int priority); int getPriority() const |
