Oliver Blanthorn 82ac6064cc Merge pull request #4486 from GHolk/find-correct-scroll ... Correct highlight position while scrolling		2023-04-07 13:22:06 +00:00
..
commandline_cmds.ts	Grasp the nettle: run prettier on all of src	2020-07-01 18:38:02 +01:00
commandline_content.ts	Rename old setting	2021-07-20 13:00:46 +02:00
controller_content.ts	Revert "Bikeshed some types"	2022-11-02 01:51:08 +03:00
editor.ts	Remove .ts from imports	2021-05-01 12:57:38 +02:00
finding.ts	Update compute-scroll-into-view	2023-04-07 14:59:50 +02:00
hinting.ts	Improve hintElements docs	2023-01-17 14:37:54 +01:00
scrolling.ts	Switch to no-unused-vars-experimental	2020-12-16 16:48:57 +01:00
state_content.ts	Cheer up eslint	2022-05-24 14:31:16 +02:00
styling.ts	Remove weird classnames from our own themes	2021-01-26 21:51:21 +01:00
toys.ts	Bikeshed with prettier	2022-03-03 12:26:53 +01:00