After years of prolog use, today I finally decided to give the built-in editor a try. Unfortunately, it is simply unusable for me in its current state, and I’m not sure what to do about it. The editor is so tiny that it is impossible for me to read anything. I suspect it’s not really designed to wo…

Turns out there was a much better option for setting all font sizes at once: font.scale: 5.0 Still got a tiny mouse though.

After a lot of sitting really close to my monitor I think I got it. ~/.config/swi-prolog/xpce/Defaults can be supplied with font information, including default font sizes. A default config can be generated in this location by going to Edit->Editor Preferences (second menu from the left, then seco…

[image] How to set font size on graphical debugger? Tools 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 ho…

I could have sworn I searched discourse before asking :slight_smile: clearly not as there’s been several topics on this. Apologies!

One obvious question is: maybe the default values should be changed? (And don’t feel bad about searching for an answer and only finding it when someone points it out – that’s happened to me a few times.)

Just throwing this out there, reddit user toblotron is also working on an IDE Praxis if anyone wanted to give that a try.

[image] peter.ludemann: One obvious question is: maybe the default values should be changed? We can easily do so if we can (mostly) reliably find the dots-per-inch of the screen. [image] maren: the mouse icon is actually also very small, and I’m not sure what other issues might be lurkin…

[image] maren: Turns out there was a much better option for setting all font sizes at once: font.scale: 5.0 Still got a tiny mouse though. With the latest release, I can do in Defaults: display.dpi: 200 font.scale: @display?dpi?width/75 image.scale: when(@display?dpi?width > 150, 2, 1) This…

On my Chromebook, I removed the display.dpi setting in ~/.config/swi-prolog/xpce/Defaults and replaced my font.scale: 1.2 with font.scale: @display?dpi?width/100 image.scale: when(@display?dpi?width > 150, 2, 1) Is there a way to find out what the default values for display.dpi, etc. are? BTW, fo…

[image] peter.ludemann: Is there a way to find out what the default values for display.dpi, etc. are? Normally, the server tells the screen dimensions in pixels and mm. The pixels are typically correct, but it seems that it often does not manage to get the size in mm correct. I think tha…

[image] jan: Normally, the server tells the screen dimensions in pixels and mm. Is there an “easy” way to see the values from the server? (That is, the values of display.dpi, font.scale, etc if there is no override value in the Defaults file)

Built-in editor is very tiny

Help!

peter.ludemann July 19, 2024, 5:40pm 4

Topic		Replies	Views
Can the dpi for the graphical debugger be configured Help!	5	879	May 14, 2020
X-Window XPCE debugger Help! bug	9	1609	April 9, 2021
Ann: SWI-Prolog 9.3.26 Releases	39	563	August 4, 2025
Ann: SWI-Prolog 10.1.18 Releases	8	151	October 17, 2026
How to set font size on graphical debugger? Tools	3	1571	September 5, 2025

Built-in editor is very tiny

Related topics