Searched refs:work_area_top (Results 1 – 2 of 2) sorted by relevance
53 int work_area_top = 0; in GetPersistentState() local58 wp_pref->GetInteger("work_area_top", &work_area_top); in GetPersistentState()63 work_area->SetRect(work_area_left, work_area_top, in GetPersistentState()65 std::max(0, work_area_bottom - work_area_top)); in GetPersistentState()
134 windowPreferences->SetInteger("work_area_top", workArea.y());