chiark / gitweb /
There is no perfect solution for #90, but this makes it a bit better.
authordaid <daid303@gmail.com>
Fri, 4 May 2012 09:47:55 +0000 (11:47 +0200)
committerdaid <daid303@gmail.com>
Fri, 4 May 2012 09:47:55 +0000 (11:47 +0200)
commit79ef4ac2b6742d8600259bced3c38c7e9f202725
tree87e96ca17a75ba8ba8ad48f57b76cf3ff201f269
parentc1dc9f4354c435916aeb195820ce167d18f7f086
There is no perfect solution for #90, but this makes it a bit better.
Cura/gui/gcodeTextArea.py