From 2c64f3c9975b42e3a97ea37a97f62908e883b408 Mon Sep 17 00:00:00 2001
From: Elior Boukhobza <heliosaian@gmail.com>
Date: Wed, 30 Sep 2020 09:58:44 +0300
Subject: [PATCH] Update Github_Commit_Whitespace.user.js

Should be straightforward
---
 Github_Commit_Whitespace/Github_Commit_Whitespace.user.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Github_Commit_Whitespace/Github_Commit_Whitespace.user.js b/Github_Commit_Whitespace/Github_Commit_Whitespace.user.js
index 1b58d58..407bd4d 100644
--- a/Github_Commit_Whitespace/Github_Commit_Whitespace.user.js
+++ b/Github_Commit_Whitespace/Github_Commit_Whitespace.user.js
@@ -49,7 +49,7 @@
             g.appendChild(a)
 
             b.parentNode.insertBefore(g, b)
-        } else if (/\/pull\/\d*\/(files|commits)/.test(location.href) && (e = document.querySelector('#files_bucket .pr-toolbar .diffbar > .float-right'))) {
+        } else if (/\/pull\/\d*\/(files|commits)/.test(location.href) && (e = document.querySelector('#files_bucket .pr-toolbar .diffbar > .pr-review-tools'))) {
 
             var r = e.querySelector('.GithubCommitWhitespaceButton')
             if (r) {