テーマを変えてイベントを開催したい。 setTheme()
は使用しないでください。
テーマ変更イベントと $("#-theme").change()
イベントを使用してみましたが、機能しません
P粉1037395662023-09-11 15:46:20
editor.renderer には、themeChange および themeLoaded イベントがあります。https://github.com/ajaxorg/ace/blob/31bbd6ade094c1e142565837a4ee93c7931399a4/src/virtual_renderer.js#L1721
を参照してください。 リーリー