I have installed Hugs on my PC, could you please tell me how I can configure
Hugs to use an editor. The editor I have got installed on my computer is
winedt.