mcedit: rename user_menu() to edit_user_menu().
commit6ad4f04626755b133c8f991d300838bec73f37c4
authorAndrew Borodin <aborodin@vmail.ru>
Sat, 28 Oct 2023 07:30:33 +0000 (28 10:30 +0300)
committerAndrew Borodin <aborodin@vmail.ru>
Mon, 6 Nov 2023 18:06:14 +0000 (6 21:06 +0300)
treed32ee85614f2a8618f5627d5fbfb2f319194ef51
parent2949eabd33f12a0bcd18602ac0a724eb51fdc0e8
mcedit: rename user_menu() to edit_user_menu().

Signed-off-by: Andrew Borodin <aborodin@vmail.ru>
src/editor/edit-impl.h
src/editor/edit.c
src/editor/editcmd.c