jed-users mailing list

[2018 Date Index] [2018 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: [jed-users] Re: XJed looks


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]