diff options
| author | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-27 11:20:33 +0200 |
|---|---|---|
| committer | Jaakko Keränen <jaakko.keranen@iki.fi> | 2021-03-27 11:20:33 +0200 |
| commit | e16dcb7e9d8b85f56d724692a0281811549079e4 (patch) | |
| tree | bba25e250eb6cda54734a63ce7158d591ad70c7b /src/ui/metrics.h | |
| parent | d75ad4213c81e588358aee4786ad13ca08c80d0c (diff) | |
GmDocument: Finding position in source
The returned position at a source location is now a range, pointing to the left and right edges of the contacted character.
Diffstat (limited to 'src/ui/metrics.h')
0 files changed, 0 insertions, 0 deletions