Skip to content

Commit fe8027b

Browse files
darkredMottie
authored andcommitted
Update github-files-filter.user.js (#68)
1 parent 2491226 commit fe8027b

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

github-files-filter.user.js

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
// ==UserScript==
22
// @name GitHub Files Filter
3-
// @version 1.1.4
3+
// @version 1.1.5
44
// @description A userscript that adds filters that toggle the view of repo files by extension
55
// @license MIT
66
// @author Rob Garrison
@@ -22,6 +22,9 @@
2222
// animation delay; See #46
2323
GM_addStyle(`
2424
.gff-filter .btn.selected { font-variant: small-caps; }
25+
.gff-filter .btn:not(.selected):not(:first-child) {
26+
text-decoration: line-through;
27+
}
2528
.gff-filter .gff-all:not(.selected):focus,
2629
.gff-filter .gff-all:not(.selected) ~ .btn:focus,
2730
.gff-filter .gff-all:not(.selected) ~ .btn.selected:focus,

0 commit comments

Comments
 (0)