GitHub - Make PRs easier

Add some js buttons to diffs

اعتبارا من 11-11-2015. شاهد أحدث إصدار.

You will need to install an extension such as Tampermonkey, Greasemonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install an extension such as Tampermonkey or Violentmonkey to install this script.

You will need to install an extension such as Tampermonkey or Userscripts to install this script.

You will need to install an extension such as Tampermonkey to install this script.

You will need to install a user script manager extension to install this script.

(I already have a user script manager, let me install it!)

You will need to install an extension such as Stylus to install this style.

You will need to install an extension such as Stylus to install this style.

ستحتاج إلى تثبيت إضافة مثل Stylus لتثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتتمكن من تثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتثبيت هذا النمط.

ستحتاج إلى تثبيت إضافة لإدارة أنماط المستخدم لتثبيت هذا النمط.

(لدي بالفعل مثبت أنماط للمستخدم، دعني أقم بتثبيته!)

المؤلف
DrKnoxy
التقييمات
0 0 0
الإصدار
1.0
تم إنشاؤه
15-06-2015
تم تحديثه
11-11-2015
الحجم
4.24 KB
الترخيص
لا يوجد
ينطبق على

If you are browsing a PR and go to the "files changed" tab, the file headers work like an accordion now! Click once to open, click again to close. And opening one doesn't close the others. There is also a "collapse" button added to the page.

This pairs nicely with github-wide userstyle https://github.com/mdo/github-wide