How to set font size on graphical debugger?

The font.scale variable in the “Editor preferences” is also used for the debugger. You can edit it in PceEmacs, just start it:

?- emacs.

and then go to “Edit” --> “Editor preferences”.

I don’t know how to “reload” the settings. I had to “halt” and then start the interactive interpreter again for the changes to take effect.

2 Likes