Commit a4a2df7
Trigger symbol refresh when the document is reloaded externally (e.g., via git reset) or reverted, rather than relying solely on internal buffer changes.
Co-authored-by: Jeremy Wootten <jeremywootten@gmail.com>
1 parent 4b6e1f7 commit a4a2df7
1 file changed
Lines changed: 12 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
818 | 818 | | |
819 | 819 | | |
820 | 820 | | |
| 821 | + | |
| 822 | + | |
| 823 | + | |
| 824 | + | |
821 | 825 | | |
822 | 826 | | |
823 | 827 | | |
| |||
981 | 985 | | |
982 | 986 | | |
983 | 987 | | |
| 988 | + | |
| 989 | + | |
| 990 | + | |
| 991 | + | |
984 | 992 | | |
985 | 993 | | |
986 | 994 | | |
| |||
1102 | 1110 | | |
1103 | 1111 | | |
1104 | 1112 | | |
| 1113 | + | |
| 1114 | + | |
| 1115 | + | |
| 1116 | + | |
1105 | 1117 | | |
1106 | 1118 | | |
1107 | 1119 | | |
| |||
0 commit comments