diff options
| author |  Héctor Ramón Jiménez <hector@hecrj.dev> | 2023-09-17 19:27:51 +0200 |
|---|---|---|
| committer | Héctor Ramón Jiménez <hector@hecrj.dev> | 2023-09-17 19:27:51 +0200 |
| commit | 2897986f2ded7318894a52572bec3d62754ebfaa (patch) | |
| tree | b8179908780f022aaed37fe93fcfedd64caaa129 /.github | |
| parent | 23d00445ff1225b3e5ca99cb27966143cda8a2ce (diff) | |
| download | iced-2897986f2ded7318894a52572bec3d62754ebfaa.tar.gz iced-2897986f2ded7318894a52572bec3d62754ebfaa.tar.bz2 iced-2897986f2ded7318894a52572bec3d62754ebfaa.zip | |
Notify `Highlighter` of topmost line change
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions