search

typemytype / drawbot

http://www.drawbot.com
Other
402 stars 63 forks source link

Adding support for formatting code #439

Closed typemytype closed 3 years ago

typemytype commented 3 years ago

fixing #437

justvanrossum commented 3 years ago

Would it make sense to set the selection back to what it was before, even if we know that can't be precise? Right now it always goes to the end of the script, which feels a bit annoying if the script is long.

justvanrossum commented 3 years ago

Shall we merge? This seems to work quite nice.