Granite.ToolBox.add_top_bar – granite-7 Reference Manual
Packages
granite-7
Granite
ToolBox
content
ToolBox
add_bottom_bar
add_top_bar
remove
add_top_bar
Description:
public
void
add_top_bar
(
Widget
widget)