Keying F1 for manual in gprolog closes Prolog console

--00000000000052222505bc941201
Content-Type: text/plain; charset="UTF-8"

GNU Prolog 1.4.5 (64 bits)
Compiled Jul 14 2018, 13:19:42 with x86_64-w64-mingw32-gcc

Windows 10 64 bits version 2004, OS  compilation 19041.804, "Windows
Experience Pack" 120.2212.551.0, running in a i7-8565U CPU, NVidia GeForce
MX150, Intel UHD 620.

If I key "F1" or click in the Help->Manual menu, GNU Prolog console closes
without further notice.

However, if I key Shift+F1 or click Help->Index Search, the Windows help
opens in the native Windows application and the manual can be browsed.

The binary was installed without changing anything from defaults, except
for the association of file extensions .pl, etc. to gprolog.

As I could not find any other instance of this bug reported I'm
submitting this to your appreciation.

Regards,

--
Cesar Rabak

--00000000000052222505bc941201
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">GNU Prolog 1.4.5 (64 bits)<br>Compiled Jul 14 2018, 13:19:=
42 with x86_64-w64-mingw32-gcc<div><br></div><div>Windows 10 64 bits versio=
n 2004, OS=C2=A0

 compilation

 19041.804, &quot;Windows Experience Pack&quot; 120.2212.551.0, running in =
a i7-8565U CPU, NVidia GeForce MX150, Intel UHD 620.</div><div><br></div><d=
iv>If I key &quot;F1&quot; or click=C2=A0in the Help-&gt;Manual menu, GNU P=
rolog console closes without further notice.<br><br>However, if I key Shift=
+F1 or click Help-&gt;Index Search, the Windows help opens in the native Wi=
ndows application and the manual can be browsed.<br></div><div><br></div><d=
iv>The binary was installed=C2=A0without changing anything from defaults, e=
xcept for the association of file extensions .pl, etc. to gprolog.</div><di=
v><br></div><div>As I could not find any other instance of this bug reporte=
d I&#39;m submitting=C2=A0this to your appreciation.</div><div><br></div><d=
iv>Regards,</div><div><br></div><div>--</div><div>Cesar Rabak</div><div><br=
></div></div>

--00000000000052222505bc941201--