☰

Add Sourcegraph Button to GitHub

Add a 'Sourcrgraph' Button on GitHub repository & file page.

Penulis
whtsky
Pemasangan harian
0
Total pemasangan
50
Nilai
1 0 0
Versi
5
Dibuat
11 November 2019
Diperbarui
18 Juni 2020
Lisensi
N/A
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 pengunduh folder - Tambahkan tombol unduh，Memungkinkan pengunduhan yang spesifik dengan mudah GitHub map。
  • 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.
  • GitHub Urutkan berdasarkan tanggal - Ubah pengurutan file menjadi menurun berdasarkan tanggal，Lihat file terbaru yang diperbarui dengan mudah。
  • Github Salin file asli URL dengan file unduhan - Tombol Tambah di akhir setiap baris file，untuk menyalin file asli URL dan mengunduh file