Francesco Abbate 0d2166c9ce Correct Node's clipping rectangle ...

Fixing the Node's clipping rectangle make the clipping in DocView:draw()
partially redundant. This latter is now no longer needed to clip
on the right when drawing the document's lines but it still serves to
the purpose of clipping on the left, before the gutter region.

2021-10-11 09:25:38 +02:00

..

colors

Add textadept theme and correct language_lua just a bit

2021-08-11 23:33:00 +02:00

core

Correct Node's clipping rectangle

2021-10-11 09:25:38 +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