Elias Naur bfece0beba ui: change area ops to use rectangles, not sizes ...

And then use the more general rectangles to add a buffer around
text.Editor click and scroll area.

Signed-off-by: Elias Naur <mail@eliasnaur.com>

2019-08-01 10:06:19 +02:00

..

pointer.go

ui: change area ops to use rectangles, not sizes

2019-08-01 10:06:19 +02:00