Non-push comment editing

Make comments refresh with the edited text even when push is disabled.