Problem: Seperti yang kami lakukan setiap tahun, kami memohon kesalahan ini diperbaiki, kesalahan yang entah mengapa masih saja ada. Fungsi cari dan ganti di editor standar rusak, dan itu merupakan fungsi dasar bagi setiap editor.
Proposed solution: Perbaiki masalah mendasar di API JS yang menyebabkan fungsi cari-dan-ganti rusak. Kalau tidak, hapus tombol cari&ganti dan ganti fungsinya dengan peralatan terpisah.