Searched refs:work_area_right (Results 1 – 2 of 2) sorted by relevance
56 int work_area_right = 0; in GetPersistentState() local61 wp_pref->GetInteger("work_area_right", &work_area_right); in GetPersistentState()64 std::max(0, work_area_right - work_area_left), in GetPersistentState()
135 windowPreferences->SetInteger("work_area_right", workArea.right());