This was introduced in commit 89598010 on the 27th.
FHOS6BC7UK4OVBVTR4KIAG3NEB2RNKS7OC5WPOGBXDFKKR4A4UIQC
MO4B3HJQL7KU2CETG74EV367YPREQN3Z5DJP2MNHITVW2KQRXRCAC
X22MOJHFLXMZQJN4IP2HAXIIVD2ALPR4EO5V5YDYF6QPXS7ZNB6QC
OTIBCAUJ3KDQJLVDN3A536DLZGNRYMGJLORZVR3WLCGXGO6UGO6AC
Display_settings.y = math.max(Pan.y-App.mouse_y(), 0)
Display_settings.y = math.max(Pan.y-(App.mouse_y()-Header_height), 0)