3 ms·
Rename symbol in the python extension uses Rope, fwiw: https://pypi.org/project/rope/ https://pypi.org/project/rope/
by scrollaway 8y ago
Rename symbol in the python extension uses Rope, fwiw: https://pypi.org/project/rope/ https://pypi.org/project/rope/