DiffEditor with glyphMargin: false, still renders glyphMargin

[zx616456607]

Bug Description:

const diffUris = DiffUris.encode(
new URI('file:/a.txt'),
new URI('file:/b.txt')
);
const widget = this.editorManager.getOrCreateByUri(diffUris);
widget.editor.diffEditor.updateOptions({
glyphMargin: false
})

Steps to Reproduce:

1.Create diffEditor
2.Set up glyphMargin:false
3.The-> button of the delete line in the right editor is not hidden

Additional Information

• Operating System: Windows10
• Theia Version: 1.48.0