Guillaume Gomez 63e1dac122 Fix JS error when hasFocus method is overwritten on search index load		2025-06-25 18:24:33 +02:00
..
gui	Fix JS error when hasFocus method is overwritten on search index load	2025-06-25 18:24:33 +02:00
testsuite	Warn on duplicate footnote definition and ignore subsequent definitions	2025-04-30 06:39:48 -07:00