Symbol: GetTabHeight
src/apps/workspaces/Workspaces.cpp
588
float tabHeight = window->GetTabHeight();
src/apps/workspaces/Workspaces.cpp
761
|| height + 2 * borderWidth + GetTabHeight() > screenHeight) {
src/apps/workspaces/Workspaces.cpp
860
|| height + 2 * GetScreenBorderOffset() + GetTabHeight()