☰

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 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 Urutkan berdasarkan tanggal - Ubah pengurutan file menjadi menurun berdasarkan tanggal，Lihat file terbaru yang diperbarui dengan mudah。
  • GitHub pengunduh folder - Tambahkan tombol unduh，Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • Github Salin file asli URL dengan file unduhan - Tombol Tambah di akhir setiap baris file，untuk menyalin file asli URL dan mengunduh file
  • 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.