Lines Matching refs:split_offset
1673 int split_offset = browser_->profile()->GetPrefs()->1675 if (split_offset != -1) {1676 if (split_offset < kMinDevToolsHeight)1677 split_offset = kMinDevToolsHeight;1678 gtk_paned_set_position(GTK_PANED(contents_split_), split_offset);