wordpress侧边导航栏高度不够时随页面滚动是怎么实现的？

Question

在高度足够时，侧边导航是fixed，内容不随滚动条滚动，如果页面高度不足以显示全部导航条内容，导航条就随页面一起滚动，请问这个效果是怎么实现的？

Answer 1

自己看源码看明白了...
wp-adminjscommon.js的pinMenu函数