[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Needing space after a user-defined ornament
From: |
Kieren MacMillan |
Subject: |
Re: Needing space after a user-defined ornament |
Date: |
Tue, 11 Apr 2023 07:14:52 -0400 |
Hi Alasdair,
> Many thanks indeed - that works a treat! How does one find out about these
> things? I had tried just
> - \tweak extra-spacing-width #'(2 . 3)
> which hadn't worked. Clearly I needed the extra space property of text.
I tried what you did first, and it didn’t work for me either. When a tweak I
expect to work doesn’t work right away, I usually try adding an explicit grob
name next, just in case that fixes it — and in this case it did!
Cheers,
Kieren.
______________________________________________
My work day may look different than your work day. Please do not feel obligated
to read or respond to this email outside of your normal working hours.