- Subject: Re: [jed-users] Re: XJed looks
- From: Chris <chris@xxxxxxxxxx>
- Date: Fri, 6 Jul 2018 18:43:12 +0200
Thanks Morton,
I had tried several fonts, guess I kept choosing wrongly, but that
solved the problem. Now, how do I adjust this to be somewhat smaller,
change the 2 75's to 60? Or..?
Rgds Chris
On 07/06/2018 04:21 PM, Morten Bo Johansen wrote:
> On 2018-07-06 Chris wrote:
>
>> XJed however has an issue with the display of menus. I'm
>> assuming that it is something I need to fix, but what do I
>> need to fix/check? As I don't see problems elsewhere, it would
>> be great if I could apply a XJed specific fix, rather than
>> fiddling with a system setting, but if I have to, I will.
> A font problem perhaps? Try adding
>
> UXjed*font: -Misc-Fixed-Medium-R-Normal--20-200-75-75-C-100-ISO10646-1
>
> to your ~/.Xresources file. Remember to do a
>
> xrdb -merge .Xresources
>
> to activate the change.
>
>
> Regards,
> Morten
>
>
> _______________________________________________
> For list information, visit <http://jedsoft.org/jed/mailinglists.html>.
>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.
[2018 date index]
[2018 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]