Guldoman 539f929e30 Allow intercepting filedropped events ...

The event is first sent to the underlying `View`; if not handled, it's 
managed as before.

2022-02-15 00:45:59 +01:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Allow intercepting filedropped events

2022-02-15 00:45:59 +01:00

fonts

Use FiraSans regular for UI

2021-05-27 13:49:33 +02:00

plugins

Plugin projectsearch: set command view text to current document selection.

2022-02-13 01:31:58 -04:00