<div dir="ltr"><div class="im" style="font-family:arial,sans-serif;font-size:13px"><div>I wrote: </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div dir="ltr"><div class="gmail_extra">How might I get the color to change not just when the user selects (mouse-ups), but also as a kind of live preview?<br></div></div></blockquote><div><br></div><div>Greg replied:</div>
</div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">> The underlying choice% control doesn't appear to expose a "hover" event, so I don't think there's any way to get what </div>
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">> you're describing, even in raw mred. Did I understand your question correctly?</div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">
<br></div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">You got it: oh well ...</div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px"><br></div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">
> Similarly to what Shriram said, I think a big problem with FrTime is that it's monolithic. It could (in my opinion) be greatly </div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">> improved if the core update model were decoupled from any language extensions, global state, or threads, i.e., made into > something that could be independently instantiated, tested, and combined with other libraries. This would make it more </div>
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">> modular, easier to understand and maintain, etc.<br></div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px"><br></div>
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">As a prospective adopter of FRP, at a high level what I'd really like to see is clearly explained examples of its practicality -- nay, superiority -- in one or more of the sweet-spot application areas: e.g. GUIs, simulations, games.</div>
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px"><br></div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">Would the kind of changes that you've opined make such demonstrations more feasible?</div>
<div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px"><br></div><div style="color:rgb(0,0,0);font-family:arial,sans-serif;font-size:13px">Dan</div><div class="gmail_extra"><div dir="ltr"></div>
</div></div>