API Version: 1
Library Version: 1.3.0
Generated by gi-docgen 2023.1
property top-height: int [ read, write ]
gint
panel_dock_set_top_height()