On 10/25/2016 01:08 PM, Enrico Forestieri wrote:
> On Tue, Oct 25, 2016 at 04:04:01PM +0200, Enrico Forestieri wrote:
>> commit 3cf0cbb3c69e73d72b6cee3723de7b67e69c4c0a
>> Author: Enrico Forestieri
>> Date: Tue Oct 25 16:03:34 2016 +0200
>>
>> Show on screen font changes for text-in-math
> R
On Tue, Oct 25, 2016 at 04:04:01PM +0200, Enrico Forestieri wrote:
> commit 3cf0cbb3c69e73d72b6cee3723de7b67e69c4c0a
> Author: Enrico Forestieri
> Date: Tue Oct 25 16:03:34 2016 +0200
>
> Show on screen font changes for text-in-math
Richard, please find attached the corresponding patch for