| Index: chrome/renderer/render_view.h
|
| ===================================================================
|
| --- chrome/renderer/render_view.h (revision 57068)
|
| +++ chrome/renderer/render_view.h (working copy)
|
| @@ -1094,9 +1094,6 @@
|
| // same page twice in a row.
|
| int32 last_indexed_page_id_;
|
|
|
| - // page id for the last navigation sent to the browser.
|
| - int32 last_top_level_navigation_page_id_;
|
| -
|
| // The next available page ID to use. This ensures that the page IDs are
|
| // globally unique in the renderer.
|
| static int32 next_page_id_;
|
|
|