1
0
mirror of https://github.com/thebaer/MMRA synced 2024-11-13 10:11:01 +00:00

Merge pull request #43 from thebaer/patch-highlightmenu

Fix "disable highlight menu" option not working
This commit is contained in:
Matt Baer 2018-10-22 15:06:51 -04:00 committed by GitHub
commit 2622c9b34e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -31,10 +31,7 @@ var makeReadable = function() {
};
var hideHighlightMenu = function() {
var bar = document.querySelector('.highlightMenu');
if (bar) {
bar.style.display = 'none';
}
document.head.insertAdjacentHTML('beforeend', '<style type="text/css">.highlightMenu { display: none; }</style>');
};
var hideDickbar = function() {