()
| 1024 | } |
| 1025 | |
| 1026 | private getPriorities() { |
| 1027 | return (this.plugin.settings.customPriorities ?? []).map((priority) => ({ ...priority })); |
| 1028 | } |
| 1029 | |
| 1030 | private getUserFields() { |
| 1031 | return (this.plugin.settings.userFields ?? []).map((field) => ({ ...field })); |