9 Commits

Include renames

Author	SHA1	Message	Date
chromoxdor	944e3daa79	minor corrections help text	2025-07-27 21:24:21 +02:00
chromoxdor	9a9f9e5293	replace: scroll to top too	2025-07-25 19:27:02 +02:00
chromoxdor	086eed28e7	scroll to top when found	2025-07-25 19:15:21 +02:00
chromoxdor	e6d27c2ba1	removed unnecessary function	2025-07-25 11:28:21 +02:00
chromoxdor	9afd774fe8	more robust live search handling	2025-07-25 11:24:21 +02:00
chromoxdor	d3aeb206bf	Readded search bar and enhanced it. ... - also added android hinting support	2025-07-24 19:20:45 +02:00
chromoxdor	da52ff8529	update for #4421	2022-12-23 17:09:29 +01:00
chromoxdor	4780f06ef3	update codemirror files	2022-09-20 21:52:00 +02:00
chromoxdor	00ac765dac	update CM files	2022-08-30 20:51:08 +02:00