Re: [elm-discuss] https://github.com/evancz down?

[Tobias Hermann]

OK, thanks for the information. Have a nice flight. :)


On Saturday, June 25, 2016 at 7:58:58 PM UTC+2, Evan wrote:
>
> It is a GitHub problem. I have opened a support ticket and reached out to 
> them on Twitter <https://twitter.com/czaplic/status/746761566255779840>.
>
> Hopefully it will be resolved soon. Though since it is Saturday, the 
> support staff is probably not in the office... Not really sure what actions 
> to take. I will be getting on a flight soon as well, so I can try more 
> things once I land.
>
> On Sat, Jun 25, 2016 at 1:30 PM, Tobias Hermann <edi...@gmail.com 
> > wrote:
>
>> Just wanted to compile something using evancz/elm-markdown and the 
>> download failed <http://i.imgur.com/aIjs3Kv.png>. Is this a github 
>> problem or have things moved?
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Elm Discuss" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to elm-discuss...@googlegroups.com .
>> For more options, visit https://groups.google.com/d/optout.
>>
>
>

-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[elm-discuss] https://github.com/evancz down?

[Tobias Hermann]

Just wanted to compile something using evancz/elm-markdown and the download 
failed . Is this a github problem or have 
things moved?

-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [elm-discuss] Html.toElement in Elm version 0.17?

[Tobias Hermann]

Ok, thank you.
I liked to align input boxes etc. with the functions from Graphics.Element, 
because it isolated me from all the HTML/div/CSS thinking.
But of course I understand. Also thanks for the remark about 
Graphics.Input. I was already wondering where it went. ;-)


On Sunday, May 15, 2016 at 11:32:53 PM UTC+2, Janis Voigtländer wrote:
>
> No, this conversion is not conceptually possible anymore. Html can have 
> event listeners attached, but post-0.16 Elements are weaker than 0.16 
> Elements in that they don't support events anymore (hence also no 
> Graphics.Input module anymore). Thus, the conversion from Html to Element 
> had to go.
>
> (Conceptually, it should still be possible to convert values of type Html 
> Never to Element, but it's not implemented.)
>
> Am Sonntag, 15. Mai 2016 schrieb Tobias Hermann :
>
>> Hi,
>>
>> I used to utilize Html.toElement to embed divs in flow down lists etc. 
>> from Graphics.Element.
>> Html.toElement is gone with the version update. Is there still something 
>> available for this conversion?
>>
>> Tobias
>>
>> -- 
>> You received this message because you are subscribed to the Google Groups 
>> "Elm Discuss" group.
>> To unsubscribe from this group and stop receiving emails from it, send an 
>> email to elm-discuss+unsubscr...@googlegroups.com.
>> For more options, visit https://groups.google.com/d/optout.
>>
>

-- 
You received this message because you are subscribed to the Google Groups "Elm 
Discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elm-discuss+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.