
window.PANEL_FLOATING_DISABLED=true prevents diff header detaching from the page flow and sticking to the window top border. Change-Id: Idafab7f73fb52a9165b7610ae609e0a8fe52bbd9
window.PANEL_FLOATING_DISABLED=true prevents diff header detaching from the page flow and sticking to the window top border. Change-Id: Idafab7f73fb52a9165b7610ae609e0a8fe52bbd9