Github Web IDE

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

Pasang skrip ini ?

Penulis

Cesaryuan

Pemasangan harian

Total pemasangan

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 Salin file asli URL dengan file unduhan - Tombol Tambah di akhir setiap baris file，untuk menyalin file asli URL dan mengunduh file
🤠 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
Asisten terjemahan kunci pintasan gitub - Dengarkan Keyboard Shortcut Ctrl + Q, yang mengimplementasikan fungsi menerjemahkan teks dan mengganti hasil terjemahan dengan kotak teks asli.
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.
Tombol Terkait Commits GitHub: Batas Hitam & Teks Biru pada Kuning - Tombol perekaman Commits GitHub dikelilingi oleh batas hitam, ditampilkan dengan font biru, dan disorot dengan latar belakang kuning