☰

Github Web IDE

⚡ Open GitHub repositories in online web IDE (Migrated from https://github.com/zvizvi/GitHub-Web-IDE)

Penulis
Cesaryuan
Pemasangan harian
0
Total pemasangan
88
Nilai
0 0 0
Versi
2.0.3
Dibuat
17 November 2022
Diperbarui
17 November 2022
Size
53,4 KB
Lisensi
none
Berlaku untuk

You can also try these related scripts:

  • GitHub pengunduh folder - Tambahkan tombol unduh，Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • 🤠 Github meningkatkan ukuran tampilan asisten gudang - 🤠 Ukuran tampilan gudang: Pada pencarian kode GitHub, pencarian gudang, halaman penerbitan, daftar gudang pengguna, dan halaman repositori, ukuran gudang akan ditampilkan di sebelah nama gudang, memungkinkan pengguna dengan cepat memahami skala gudang dan mengoptimalkannya pilihan. Peringatan pengembangan tidak aktif: Jika repositori belum diperbarui dalam enam bulan terakhir, sistem akan menambahkan perintah di bagian atas repositori untuk mengingatkan pengguna bahwa repositori tidak aktif dan
  • GitHub Percantik daftar file - GitHub File List Beautifier adalah skrip pengguna，digunakan untuk meningkatkan GitHub Menampilkan efek file di gudang。Itu dapat menambahkan warna pada file dan folder，dan ganti ikon jenis file dengan gambar kecil，Membuat basis kode lebih mudah dijelajahi dan dikelola。Tambahkan warna dan ikon ke file berdasarkan jenisnya，Tampilkan gambar kecil sebagai pengganti ikon jenis file di pohon sumber repositori
  • PlumFont - Ganti Roboto, Segoe UI, Arial, dan font lainnya - Ganti font halaman web dengan font kesukaan Anda. Hentikan penggunaan Segoe UI, Arial, dan Microsoft YaHei. Ganti angka bahasa Inggris dengan font SF Pro dan Inter.
  • Lompat GitHub ke Deepwiki - Repositori GitHub melompat ke Deepwiki, mendukung desktop dan seluler