improve logging of isDirty in TabEditor.js