[IPython-user] pasting code
fperez at colorado.edu
Fri Aug 8 12:49:37 CDT 2003
David Grote wrote:
> Thanks for your quick response! I would suggest something like this...
> You already keep track of the indentation level (for autoindent). So,
> whenever the indent level is 0, always strip off any leading spaces and
> remember the number of spaces. Then, in higher indent levels, always
> remove the number of spaces from the most recent level 0 line. Similar
> to what you suggested but not quite the same.
good idea, it may make the implementation cheaper. Duly noted for when I have
a chance to actually work on it.
More information about the IPython-user