219         Frame* m_frame;
 220         ResourceResponse m_response;
 221         int mainResourceRequestID;
 222         bool m_isPageRedirected;
 223         bool m_hasRepresentation;
 224         bool m_FrameLoaderClientDestroyed;
 225         bool m_ProgressTrackerClientDestroyed;
 226 
 227         JGObject m_webPage;
 228 
 229         Page* page();
 230         Frame* frame();
 231 
 232         void setRequestURL(Frame* f, int identifier, String url);
 233         void removeRequestURL(Frame* f, int identifier);
 234 
 235         void postLoadEvent(Frame* f, int state, String url, String contentType, double progress, int errorCode = 0);
 236         void postResourceLoadEvent(Frame* f, int state, int id, String contentType, double progress, int errorCode = 0);
 237 
 238         void destroyIfNeeded();

 239 
 240         // Plugin widget for handling data redirection
 241 //        PluginWidgetJava* m_pluginWidget;
 242     };
 243 
 244 }
 245 
 246 #endif

 219         Frame* m_frame;
 220         ResourceResponse m_response;
 221         int mainResourceRequestID;
 222         bool m_isPageRedirected;
 223         bool m_hasRepresentation;
 224         bool m_FrameLoaderClientDestroyed;
 225         bool m_ProgressTrackerClientDestroyed;
 226 
 227         JGObject m_webPage;
 228 
 229         Page* page();
 230         Frame* frame();
 231 
 232         void setRequestURL(Frame* f, int identifier, String url);
 233         void removeRequestURL(Frame* f, int identifier);
 234 
 235         void postLoadEvent(Frame* f, int state, String url, String contentType, double progress, int errorCode = 0);
 236         void postResourceLoadEvent(Frame* f, int state, int id, String contentType, double progress, int errorCode = 0);
 237 
 238         void destroyIfNeeded();
 239         void dispatchDidNavigateWithinPage();
 240 
 241         // Plugin widget for handling data redirection
 242 //        PluginWidgetJava* m_pluginWidget;
 243     };
 244 
 245 }
 246 
 247 #endif