Guldoman a7ea84ae8f Clamp scroll position when dragging the scrollbar without animations		2022-04-26 22:50:44 +02:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Clamp scroll position when dragging the scrollbar without animations	2022-04-26 22:50:44 +02: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