fix: use updated monaco api
This commit is contained in:
committed by
Mrugesh Mohapatra
parent
b1296a4521
commit
457dbe13be
@ -180,10 +180,10 @@ class Editor extends Component {
|
|||||||
this.props.setEditorFocusability(true)
|
this.props.setEditorFocusability(true)
|
||||||
);
|
);
|
||||||
// This is to persist changes caused by the accessibility tooltip.
|
// This is to persist changes caused by the accessibility tooltip.
|
||||||
// Unfortunately it relies on Monaco's implementation details
|
this._editor.onDidChangeConfiguration(event => {
|
||||||
this._editor.onDidChangeConfiguration(() => {
|
|
||||||
if (
|
if (
|
||||||
this._editor.getConfiguration().accessibilitySupport === 2 &&
|
event.hasChanged(monaco.editor.EditorOption.accessibilitySupport) &&
|
||||||
|
editor.getRawOptions().accessibilitySupport === 'on' &&
|
||||||
!this.props.inAccessibilityMode
|
!this.props.inAccessibilityMode
|
||||||
) {
|
) {
|
||||||
this.props.setAccessibilityMode(true);
|
this.props.setAccessibilityMode(true);
|
||||||
|
Reference in New Issue
Block a user