Quicksearch: expand extended symbols on "Edit", patch by Olivier Brunel.
authorwwp <subscript@free.fr>
Thu, 20 Sep 2018 20:16:33 +0000 (22:16 +0200)
committerwwp <subscript@free.fr>
Thu, 20 Sep 2018 20:16:33 +0000 (22:16 +0200)
commit9278a0825e350d0bb2502c6f8760be3f47565993
tree45be2451c3768895f91f0adfd158e478a2d498c9
parentf8cbcff32aa9014d9924c30d5d3604dac070b661
Quicksearch: expand extended symbols on "Edit", patch by Olivier Brunel.
src/gtk/quicksearch.c