Searched defs:extra_space (Results 1 - 2 of 2) sorted by relevance
/external/v8/src/ |
H A D | v8utils.cc | 115 int extra_space, 129 char* result = NewArray<char>(*size + extra_space); 145 int extra_space, 148 char* result = ReadCharsFromFile(file, size, extra_space, verbose, filename); 113 ReadCharsFromFile(FILE* file, int* size, int extra_space, bool verbose, const char* filename) argument 143 ReadCharsFromFile(const char* filename, int* size, int extra_space, bool verbose) argument
|
/external/chromium/chrome/browser/ui/gtk/bookmarks/ |
H A D | bookmark_bar_gtk.cc | 549 int extra_space = 0; local 551 extra_space = overflow_button_->allocation.width; 553 int overflow_idx = GetFirstHiddenBookmark(extra_space, NULL); 590 int extra_space, std::vector<GtkWidget*>* showing_folders) { 599 bookmark_toolbar_.get()->allocation.x - extra_space); 605 bookmark_toolbar_.get()->allocation.x + extra_space); 589 GetFirstHiddenBookmark( int extra_space, std::vector<GtkWidget*>* showing_folders) argument
|
Completed in 275 milliseconds