ui.codemirror does not work via NiceGUI On Air

[falkoschindler]

Description

I noticed that ui.codemirror does not work On Air:

from nicegui import ui
ui.codemirror('print("Hello, world!")')
ui.run(on_air=True)

The page is blank and the JavaScript console says

TypeError: Failed to fetch dynamically imported module: https://europe.on-air.io/_nicegui/1.4.23.dev0/resources/85bbe05f06862a2ef612c9d56a16ff70/editor.js

Maybe it's a problem with serving resources? But ui.leaflet, which also uses add_resource, does work.

---

Related discussion: #3126