<div class="gmail_quote">On Wed, Aug 25, 2010 at 10:29 PM, Fernando Perez <span dir="ltr"><<a href="http://fperez.net">fperez.net</a>@<a href="http://gmail.com">gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">On Wed, Aug 25, 2010 at 8:02 PM, Evan Patterson <<a href="mailto:epatters@enthought.com">epatters@enthought.com</a>> wrote:<br>
> The functionality for this is actually already there, but it's untested.<br>
> I'll add a keybinding for it tomorrow and make sure that it works.<br>
<br>
</div>Great, thanks!<br>
<br>
Once it's working, we can implement the %clear magic to return on the<br>
payload a message that says something like 'clear screen' for each<br>
frontend to do the right thing (it's different on a terminal than in<br>
Qt, for example).<br></blockquote><div><br>This is done. Note that Ctrl-L actually clears the screen rather than moving the prompt to the top of the widget. This may not be what we want.<br><br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

<div class="im"><br>
> Also, the call tip popup is supposed to have logic to re-position itself<br>
> above the input line if it would be below the bottom of the monitor. If this<br>
> isn't the behavior that you're seeing, let me know.<br>
<br>
</div>No, it's certainly not working right here. ┬áIf the terminal is close<br>
to the bottom and my input line is at the bottom of the terminal<br>
itself, I can hardly read anything from the popup, as most of it is<br>
'below the monitor'.<br>
<br>
I could show you tomorrow with a teamviewer setup if you want.<br></blockquote><div><br>Now that I actually look at the code, I see that the logic isn't even there, which explains why it doesn't work. I'm pretty sure this was implemented at one point... in any case, I'll get this working soon.<br>
<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<br>
Cheers,<br>
<font color="#888888"><br>
f<br>
</font></blockquote></div><br>