How to edit jgmenu?

[Finrod]

hi, I want to use the jgmenu to launch gnome-terminal instead of termite (that came as default when I installed Manjaro Openbox).
I did edit the jgmenurc in ~/.config/jgmenu/ this way, from:
terminal_exec = termite
to
terminal_exec = gnome-terminal
… but it doesn’t work What should I do?
I did have a look at the jgmenu docs, but was soon lost in all the details…
Many thanks!

[linux-aarhus]

jgmenu runs in the background so for a change to the config to reflect you need to kill the process

pkill jgmenu

you may need to edit the prepend.csv as well

[Finrod]

thanks, it was the prepend.csv bit (I forgot to write but I had killed the process)