lite-xl/data
Francesco Abbate cb08c5cbb7 Fix dirty pixels problem on window's right side
The last column of pixel on the window's right side isn't correctly
drawn and pixels appear dirty and more noticeably when the a NagView
message was previously shown, a stripe of red pixels remains on the right.

We use now a more souding roundig scheme. Now the rectangles to clip or to
draw are passed around as Lua numbers without any rounding. In turns, when
the rect coordinates are passed to the renderer we ensure the border of the
rect are correctly snapped to the pixel's grid. It works by computing the
coordinates of the edges, round them to integers and then compute the rect's
width based on the rounded coordinates values.
2021-10-10 14:52:55 +02:00
..
colors Add textadept theme and correct language_lua just a bit 2021-08-11 23:33:00 +02:00
core Fix dirty pixels problem on window's right side 2021-10-10 14:52:55 +02:00
fonts Use FiraSans regular for UI 2021-05-27 13:49:33 +02:00
plugins Use dmon events in reload plugin 2021-10-08 23:15:25 +02:00