<html>
<head>
<meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFCC" text="#333333">
<div class="moz-cite-prefix">I had something similar happen when I
changed my graphic driver - from nouveau to proprietary nvidia and
vice versa.<br>
<br>
On 04/19/2015 09:58 AM, Louis-David Mitterrand wrote:<br>
</div>
<blockquote cite="mid:20150419065843.GA788@apartia.fr" type="cite">
<pre wrap="">Hi,
On a debian 'testing' system I'm using openbox with gdm3 as session
manager launching via ~/.xsession with 'exec openbox-session'.
Recently after a reboot the system fonts have become much larger:
application title bars and menu fonts (firefox, libreoffice, etc.) as
well as openbox's own menu fonts. Also I've had to reduce my xterm font
from point size 11 to 9 to have terminals of the same size as before
(firefox pages still display the same, no font size increase there).
It's probably not an openbox issue per se but since users here are
pretty knowledgeable, any idea where to look is welcome.
Thanks,
_______________________________________________
openbox mailing list
<a class="moz-txt-link-abbreviated" href="mailto:openbox@icculus.org">openbox@icculus.org</a>
<a class="moz-txt-link-freetext" href="http://icculus.org/mailman/listinfo/openbox">http://icculus.org/mailman/listinfo/openbox</a>
</pre>
</blockquote>
<br>
</body>
</html>