My laptop monitor is quite hi-res. I guess the gtrace debugger is scaled by pixel-size, not by physical size (dots per inch), and the text comes out excessively tiny. Can the app’s sizes be adjusted in an .rc file or another way? [image]

[image] How to set font size on graphical debugger? Tools Yes, editing ~/.config/swi-prolog/xpce/Defaults font.scale did the trick (almost). I had to remove the leading ! (having forgotten the conventions for X11 config files). I’ll have to do some more fiddling to get th…

Thanks. I didn’t ~/.config/swi-prolog/xpce/Defaults but I did copy /usr/lib/swi-prolog/xpce/Defaults.user, to ~/.xpce/Defaults, un-banged the font.scale line, and it seemed to work. Thanks. It would be nice if there was an icon size setting also - I didn’t find one in . userguide.pdf 1…

The simple way is to start PceEmacs using ?- emacs. and use the menu item Edit/Editor preferences. That copies the default file from the system to the right location (if it is not already there). Note that ~/.xpce/Defaults is still for 8.0. 8.1 uses the XDG standard ~/.config/swi-prolog/xpce/Defa…

A simpler solution would be to somehow ask the window manager to somehow rescale this entire application. I haven’t found such a feature though. (Its a bit nuts to ask each application to pay attention to DPI at every step).

If that exists, it may help. It is of course a pity to scale truetype fonts at the pixel level rather than rendering them using the proper font size from the scalable representation. Likewise (but less intrusive) scaling the already badly desinged small icons to something bigger doesn’t make it mo…

Can the dpi for the graphical debugger be configured

Help!

peter.ludemann May 14, 2020, 12:13am 2

Topic		Replies	Views
Built-in editor is very tiny Help!	31	568	August 29, 2024
How to set font size on graphical debugger? Tools	3	1553	September 5, 2025
X-Window XPCE debugger Help! bug	9	1480	April 9, 2021
Osx / font size in pce-based editor General	5	81	September 5, 2025
Change tab length in xpce debugger Help! how-to	2	526	January 30, 2022

Can the dpi for the graphical debugger be configured

Related topics