☰

GitHub Project Filter Formatter (Responsive Button Inside)

Adds a responsive button inside and to the right of GitHub project filter input to format text as title:*XX*.

Version vom 03.06.2025. Aktuellste Version

Installationsanleitung

Du musst eine Erweiterung wie Tampermonkey, Greasemonkey oder Violentmonkey installieren, um dieses Skript zu installieren.

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.

Sie müssten eine Skript Manager Erweiterung installieren damit sie dieses Skript installieren können

(Ich habe schon ein Skript Manager, Lass mich es installieren!)

Installationsanleitung

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.

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

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

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

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

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

Autor
xiaohaoxing
Bewertungen
0 0 0
Version
1.6
Erstellt am
03.06.2025
Letzte Aktualisierung
03.06.2025
Größe
10,8 KB
Lizenz
MIT
Wird angewandt auf

GitHub Project 一键模糊搜索

GitHub 的搜索默认是前缀匹配，实在是反人类。本插件在页面上添加一个小小的格式化按钮，实现一键模糊查询。