Nicolas Werner a1fed44b50 Add goto button to hover menu when searching ... fixes #1457		2023-05-30 14:21:44 +02:00
..
emoji-categories	Make some icons smoother	2022-01-02 22:14:31 +01:00
ui	Add goto button to hover menu when searching	2023-05-30 14:21:44 +02:00