Francesco Abbate 704a8dea09 Group mouse move events from C API function ...

Groups together consecutive mouse move events like done in core.step()
lua function but on the C side.

It does not introduce any meaningful speedup but it theory is more efficient and
simplifies the Lua code.

The simplification of the Lua code alone is enough to justify this change?

2021-06-17 23:31:44 +02:00

..

colors

Implement user's config as init file and add directory into package.path

2020-12-02 16:03:31 +01:00

core

Group mouse move events from C API function

2021-06-17 23:31:44 +02:00

fonts

Use FiraSans regular for UI

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

plugins

Fix error in workspace file error reporting

2021-06-17 23:31:44 +02:00