In agda-mode/styles/agda-mode.atom-text-editor.less:
Starting from Atom v1.13.0, the contents of atom-text-editor elements are no longer encapsulated within a shadow DOM boundary. This means you should stop using :host and ::shadow pseudo-selectors, and prepend all your syntax selectors with syntax--. To prevent breakage with existing style sheets, Atom will automatically upgrade the following selectors:
Automatic translation of selectors will be removed in a few release cycles to minimize startup time. Please, make sure to upgrade the above selectors as soon as possible.
In
agda-mode/styles/agda-mode.atom-text-editor.less:Starting from Atom v1.13.0, the contents of
atom-text-editorelements are no longer encapsulated within a shadow DOM boundary. This means you should stop using:hostand::shadowpseudo-selectors, and prepend all your syntax selectors withsyntax--. To prevent breakage with existing style sheets, Atom will automatically upgrade the following selectors:.agda-view .hidden=>.agda-view .syntax--hidden.agda-view .agda-input-method .keyboard=>.agda-view .agda-input-method .syntax--keyboard.agda-view .agda-input-method .keyboard .buffer=>.agda-view .agda-input-method .syntax--keyboard .buffer.agda-view .agda-body-container li .location=>.agda-view .agda-body-container li .syntax--location.agda-view .agda-body-container p, .agda-view .agda-body-container div.error=>.agda-view .agda-body-container p, .agda-view .agda-body-container div.syntax--error.agda-view .agda-body-container .expr=>.agda-view .agda-body-container .syntax--expr.agda-view .agda-body-container .location:hover=>.agda-view .agda-body-container .syntax--location:hover.agda-view .agda-body-container .location.no-float=>.agda-view .agda-body-container .syntax--location.no-float.agda-view .agda-dev-view .agda-dev-body .dev-message.request=>.agda-view .agda-dev-view .agda-dev-body .dev-message.syntax--request.agda-view .agda-dev-view .agda-dev-body .dev-message.response=>.agda-view .agda-dev-view .agda-dev-body .dev-message.syntax--response.agda-view .agda-dev-view .agda-dev-body .dev-message.response .dev-message-item.raw=>.agda-view .agda-dev-view .agda-dev-body .dev-message.syntax--response .dev-message-item.syntax--raw.agda-view .agda-dev-view .agda-dev-body .dev-message.response .dev-message-item.parsed=>.agda-view .agda-dev-view .agda-dev-body .dev-message.syntax--response .dev-message-item.syntax--parsed.agda-view .agda-dev-view .agda-dev-body .dev-message-item.parsed=>.agda-view .agda-dev-view .agda-dev-body .dev-message-item.syntax--parsedatom-text-editor.agda atom-overlay=>atom-text-editor.syntax--agda atom-overlayAutomatic translation of selectors will be removed in a few release cycles to minimize startup time. Please, make sure to upgrade the above selectors as soon as possible.