Index: chrome/browser/ui/gtk/browser_window_gtk.h |
diff --git a/chrome/browser/ui/gtk/browser_window_gtk.h b/chrome/browser/ui/gtk/browser_window_gtk.h |
index 16ddccb2b62ed59c1a127ad8ea9bb6cb1c464d1d..560d080ae35f48aea50ce52797bbe4ce48619adc 100644 |
--- a/chrome/browser/ui/gtk/browser_window_gtk.h |
+++ b/chrome/browser/ui/gtk/browser_window_gtk.h |
@@ -248,7 +248,7 @@ class BrowserWindowGtk : public BrowserWindow, |
int GetXPositionOfLocationIcon(GtkWidget* relative_to); |
protected: |
- virtual void DestroyBrowser(); |
+ virtual void DestroyBrowser() OVERRIDE; |
// Checks to see if the mouse pointer at |x|, |y| is over the border of the |
// custom frame (a spot that should trigger a window resize). Returns true if |