-
Suggestion
-
Resolution: Unresolved
-
None
-
9
-
In case the diff of a PR is pretty big it would ease the review process if all headers and sidebars etc could be hidden when doing the review with some button/shortcut.
I created a small bookmarklet for myself to have the diff bigger:
javascript:(function(){ jQuery('.changes').parent().css('height', 'calc(100vh - 30px)'); jQuery('html, body').animate({ scrollTop: $(document).height()-$(window).height() }, 'slow'); })();
But this might not work anymore for future versions and is not available for everybody.
An out-of-the-box solution for this would be highly appreciated.
Best, Alex