rascalmicro/red — pull request #12 by dsmall (2013-05-19 07:31:54+00:00)
Title: Red Bug #2

Tab href not being updated after file renamed

I guess this crept in because adding href to allow tabs to be dragged to the browser address bar or tab was added after the rename code had been finished.