Re: filter to break urls in HTML

["Pablo Rodríguez" <oinos-S0/GAf8tV78@public.gmane.org>]

On 12/18/2014 08:57 PM, Matthew Pickering wrote:
> That's exactly right. (Sorry I didn't mean to imply it took me 90
> minutes, it took no more than 5 but I was only able to help you out 90
> minutes after you had posted to the list)

Many thanks for the confirmation, Matthew.

Your reply in 90 minutes was more than fast. I’m really thankful for that.

And sorry for not having replied myself that fast :-).


Pablo


> On Thu, Dec 18, 2014 at 7:29 PM, Pablo Rodríguez wrote:
>> On 12/18/2014 07:37 AM, Pablo Rodríguez wrote:
>>> [...]
>>> I have a further request about the filter. (Sorry, I’d avoid it, but
>>> this is about readability.)
>>>
>>> Autolinks are parsed into HTML with the class "uri". This is perfect to
>>> style them as different from standard text and from other links such as
>>> "[a link](http://www.link.com)".
>>>
>>> Would it be possible that the filter adds "class=uri" when parsing the
>>> autolink to HTML?
>>
>> Dear Mathew,
>>
>> I think I have found a workaround that seems to work.
>>
>> I don’t really know whether this is right but I replaced:
>>
>>   | x == url = Link [Str (insertSpaces' x)] (url, tit)
>>
>> with:
>>
>>   | x == url = Span ("",["uri"],[]) [Link [Str (insertSpaces' x)] (url,
>> tit)]
>>
>> From what I understand, I added a span from the uri class. (At least is
>> what I intended [this is all Greek to me].)
>>
>> Many thanks for your extremely generous help,
>>
>>
>> Pablo

-- 
http://www.ousia.tk

-- 
You received this message because you are subscribed to the Google Groups "pandoc-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to pandoc-discuss+unsubscribe-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To post to this group, send email to pandoc-discuss-/JYPxA39Uh5TLH3MbocFF+G/Ez6ZCGd0@public.gmane.org
To view this discussion on the web visit https://groups.google.com/d/msgid/pandoc-discuss/5493564B.8050105%40web.de.
For more options, visit https://groups.google.com/d/optout.