From 03530a1612a8a38f1aa16f7cf0f0862ca2b7b9c2 Mon Sep 17 00:00:00 2001 From: darkred Date: Fri, 11 Jan 2019 17:06:22 +0200 Subject: [PATCH] Update github-files-filter.user.js --- github-files-filter.user.js | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/github-files-filter.user.js b/github-files-filter.user.js index e2d5ea1..58e9724 100644 --- a/github-files-filter.user.js +++ b/github-files-filter.user.js @@ -1,6 +1,6 @@ // ==UserScript== // @name GitHub Files Filter -// @version 1.1.4 +// @version 1.1.5 // @description A userscript that adds filters that toggle the view of repo files by extension // @license MIT // @author Rob Garrison @@ -22,6 +22,9 @@ // animation delay; See #46 GM_addStyle(` .gff-filter .btn.selected { font-variant: small-caps; } + .gff-filter .btn:not(.selected):not(:first-child) { + text-decoration: line-through; + } .gff-filter .gff-all:not(.selected):focus, .gff-filter .gff-all:not(.selected) ~ .btn:focus, .gff-filter .gff-all:not(.selected) ~ .btn.selected:focus,