Rename local variable is available in the dev branch of scripted. It
hasn't been tested very well and only works in a single file. I can't
remember the key combo to get this working, but you can find it if you
press F1.
> --
> You received this message because you are subscribed to the Google Groups
> "scripted-dev" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to
scripted-dev...@googlegroups.com.
> For more options, visit
https://groups.google.com/groups/opt_out.