From a41a6e003aafe73761b3e5d135c05c717e9f408e Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 16:28:08 +0300 Subject: [PATCH 1/9] :bug: Added CSS for tab titles (Fixes #130) --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 323dc23..6f31abc 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -138,6 +138,9 @@ github-news-feed-filter .filter-list-item.open > a > .stars > .octicon { transform: rotate(-90deg); } .no-alerts { font-style: italic; } + + ul.repo-filterer > li { margin: 0px 25px 0px 0; display: inline; } + `); // Add filter menu list. From a18076b5cba368c31f3e7aae3438484c1ba774eb Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 16:38:39 +0300 Subject: [PATCH 2/9] Make selected tab bold --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 1 + 1 file changed, 1 insertion(+) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 6f31abc..5d07bb6 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -140,6 +140,7 @@ .no-alerts { font-style: italic; } ul.repo-filterer > li { margin: 0px 25px 0px 0; display: inline; } + ul.repo-filterer > li > a.filter-selected { font-weight: bold; } `); From 9da8dd28c4636b5955dd4faf07932edc7dcf7f66 Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 16:40:52 +0300 Subject: [PATCH 3/9] Update README.md --- Github_News_Feed_Filter/README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/Github_News_Feed_Filter/README.md b/Github_News_Feed_Filter/README.md index 963751c..9a7ff8b 100644 --- a/Github_News_Feed_Filter/README.md +++ b/Github_News_Feed_Filter/README.md @@ -69,6 +69,10 @@ Currently integrated filters: ## Version History +* **8.2.4** + + * ✨ Added CSS for tab titles. Fixes [#130](https://github.com/jerone/UserScripts/issues/130). (by [@darkred](https://github.com/darkred)) + * **8.2.3** * ✨ Re-added of the "Issues" filter ( Issues|Labeled ) which was removed per [#121 (comment)](https://github.com/jerone/UserScripts/issues/121#issuecomment-336629514) after another GitHub site update (by [@darkred](https://github.com/darkred)). From 2d93bfe0003a47cdbe6579dc256c662dbbe8ac52 Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 16:41:46 +0300 Subject: [PATCH 4/9] Update README.md --- Github_News_Feed_Filter/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Github_News_Feed_Filter/README.md b/Github_News_Feed_Filter/README.md index 9a7ff8b..5dd5365 100644 --- a/Github_News_Feed_Filter/README.md +++ b/Github_News_Feed_Filter/README.md @@ -71,7 +71,7 @@ Currently integrated filters: * **8.2.4** - * ✨ Added CSS for tab titles. Fixes [#130](https://github.com/jerone/UserScripts/issues/130). (by [@darkred](https://github.com/darkred)) + * 🐛 Added CSS for tab titles. Fixes [#130](https://github.com/jerone/UserScripts/issues/130). (by [@darkred](https://github.com/darkred)) * **8.2.3** From e483e67647cd01566a61335df39304fcb5cd4213 Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 16:42:40 +0300 Subject: [PATCH 5/9] Update Github_News_Feed_Filter.user.js --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 5d07bb6..763b69a 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -16,7 +16,7 @@ // @include https://github.com/?* // @include https://github.com/orgs/*/dashboard // @include https://github.com/orgs/*/dashboard?* -// @version 8.2.3 +// @version 8.2.4 // @grant none // ==/UserScript== From 4c164d616a3f768fc6ccda5341412806c4296ccd Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 19:14:47 +0300 Subject: [PATCH 6/9] Update Github_News_Feed_Filter.user.js --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 763b69a..9c03ef2 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -139,7 +139,8 @@ .no-alerts { font-style: italic; } - ul.repo-filterer > li { margin: 0px 25px 0px 0; display: inline; } + ul.repo-filterer > li { display: inline; } + ul.repo-filterer > li > a {padding: 10px 10px; } ul.repo-filterer > li > a.filter-selected { font-weight: bold; } `); From 837f1425dd08ba702c0ee9f8db85b15ec746a4cf Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 19:48:17 +0300 Subject: [PATCH 7/9] Update Github_News_Feed_Filter.user.js --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 9c03ef2..c755c50 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -140,8 +140,8 @@ .no-alerts { font-style: italic; } ul.repo-filterer > li { display: inline; } - ul.repo-filterer > li > a {padding: 10px 10px; } - ul.repo-filterer > li > a.filter-selected { font-weight: bold; } + ul.repo-filterer > li > a { padding: 10px 10px; } + ul.repo-filterer > li > a.filter-selected { font-weight: bold; border-bottom-color: #e36209 !important; } `); From 42251233fdc32c35dbde8d9e854b5c7025030ece Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 19:50:39 +0300 Subject: [PATCH 8/9] Update Github_News_Feed_Filter.user.js --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index c755c50..734090c 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -141,7 +141,7 @@ ul.repo-filterer > li { display: inline; } ul.repo-filterer > li > a { padding: 10px 10px; } - ul.repo-filterer > li > a.filter-selected { font-weight: bold; border-bottom-color: #e36209 !important; } + ul.repo-filterer > li > a.filter-selected { font-weight: bold; border-bottom-color: #e36209 !important; border-bottom: 2px solid transparent; } `); From ed1801badf4d2e57888159bbda416c587ad85577 Mon Sep 17 00:00:00 2001 From: darkred Date: Mon, 28 May 2018 19:53:52 +0300 Subject: [PATCH 9/9] Update Github_News_Feed_Filter.user.js --- Github_News_Feed_Filter/Github_News_Feed_Filter.user.js | 1 + 1 file changed, 1 insertion(+) diff --git a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js index 734090c..a04a055 100644 --- a/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js +++ b/Github_News_Feed_Filter/Github_News_Feed_Filter.user.js @@ -141,6 +141,7 @@ ul.repo-filterer > li { display: inline; } ul.repo-filterer > li > a { padding: 10px 10px; } + ul.repo-filterer > li > a:hover { text-decoration: none; } ul.repo-filterer > li > a.filter-selected { font-weight: bold; border-bottom-color: #e36209 !important; border-bottom: 2px solid transparent; } `);