GuldomanandGitHub 444b3e3c66 Don't animate scrolling by dragging the scroll bar (#940) ...

Also added the `config.animate_drag_scroll` option to re-enable the 
behavior.

2022-04-26 09:54:11 -04:00

..

colors

Add textadept theme and correct language_lua just a bit

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

core

Don't animate scrolling by dragging the scroll bar (#940)

2022-04-26 09:54:11 -04:00

fonts

Use FiraSans regular for UI

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

plugins

Add animation categories to enable finer transitions control (#941)

2022-04-25 20:35:35 -04:00