adobe/brackets — pull request #1219 by redmunds (2012-07-09 15:52:01+00:00)
Title: fix dirty dot layout

This fixes issue #1068

Make dirty dot always present in DOM and toggle visibility. This makes the title width the same whether doc is dirty or not, so less re-layout needs to be done, and title bar height doesn't change when dirty state changes.