Nicolas Werner a1fed44b50

Add goto button to hover menu when searching ...

fixes #1457

2023-05-30 14:21:44 +02:00

1 line

431 B

XML

Raw Blame History