API Version: 1
Library Version: 1.4.1
property top-height: int [ read, write ]
gint
panel_dock_set_top_height()