Commit 9f79fa8
authored
Reload editor (#122)
## What is it?
Addresses bug:
CodeEditApp/CodeEditTextView#110, and maybe
others- but I need to hunt them down.
Ensures that highlights aren't lost when processing these updates.
## UI Behavior
https://user-images.githubusercontent.com/5067237/213246192-9c27e0ae-9024-4f73-b721-db0bb1fc3251.mp41 file changed
+7
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
200 | 200 | | |
201 | 201 | | |
202 | 202 | | |
203 | | - | |
| 203 | + | |
| 204 | + | |
| 205 | + | |
| 206 | + | |
| 207 | + | |
| 208 | + | |
204 | 209 | | |
205 | 210 | | |
206 | 211 | | |
| |||
223 | 228 | | |
224 | 229 | | |
225 | 230 | | |
| 231 | + | |
226 | 232 | | |
227 | 233 | | |
228 | 234 | | |
| |||
0 commit comments