12-16-2013, 11:39 PM
That value is the pixels amount and should be used to define the maximum menu height. Maybe it was something useful in the past when the screen resolution was small and the menu could have some option hidden. As the menu is auto adjustable I think that nowadays that item in the preferences doesn't has utility - except "be fun". 