Re: [AMBER] xleap

From: Gustaf Olsson <>
Date: Tue, 29 Sep 2020 12:45:19 +0000

Not enough humor, to much autocorrect and apparently not enough proofreading before posting :-) bistro = distro

Best regards
// Gustaf

On 29 Sep 2020, at 14:28, aishen <<>> wrote:

did you did it on purpose ? LOL

*nix bistro ? lol

Or is it a french souvenir ?

*nix distro (or for beer bistro ! lol)

On 29/09/2020 14:22, Gustaf Olsson wrote:
Strange, though maybe not surprising as this seems to be a reoccurring issue “it works on my machine"


I have not tried to run using the alias multiple times, for me the font size is perfectly fine to work with. The person who originally took the time to read the docs and come up with the initial suggestion was Henri, whom I think was using using ubuntu (or some other *nix bistro).

Editing the XaLeap_wcl

I will look into doing this at some point in time, I would suspect that it would be possible to edit this file maintaining “italics” menus and “bold” text while using a different font while Henri and my solution here just uses a single style for everything

Best regards
// Gustaf

On 29 Sep 2020, at 13:52, David A Case <<><>> wrote:

On Tue, Sep 29, 2020, Gustaf Olsson wrote:

I have tried this on macOS Mojave 10.14.6 with XQuartz and no other
version yet. If you did a “copy-paste” it will fail as the auto format
of mail switches the ' character into a ‘ character. This has bitten me
several, several times. I also noticed that I had used “times” for both
courier and times examples.

I had fixed the curly quotes prolem, but it didn't change the font.
However, after quitting and restarting XQuartz, it worked once, but
then stopped working. This time, restarting XQuartz didn't help.
Perhaps there is something funny about my configuration.

Anyway, for readers on the list: try Gustaf's idea to see if it meets
your needs. Editing the XaLeap_wcl file is still another option.


AMBER mailing list<><>

AMBER mailing list<>

AMBER mailing list<>

AMBER mailing list
Received on Tue Sep 29 2020 - 06:00:02 PDT
Custom Search