void WebInspectorProxy::platformAttach() { GRefPtr<GtkWidget> inspectorView = m_inspectorView; if (m_inspectorWindow) { gtk_container_remove(GTK_CONTAINER(m_inspectorWindow), m_inspectorView); gtk_widget_destroy(m_inspectorWindow); m_inspectorWindow = 0; } // Set a default sizes based on InspectorFrontendClientLocal. static const unsigned defaultAttachedSize = 300; static const unsigned minimumAttachedWidth = 750; static const unsigned minimumAttachedHeight = 250; if (m_attachmentSide == AttachmentSideBottom) { unsigned maximumAttachedHeight = platformInspectedWindowHeight() * 3 / 4; platformSetAttachedWindowHeight(std::max(minimumAttachedHeight, std::min(defaultAttachedSize, maximumAttachedHeight))); } else { unsigned maximumAttachedWidth = platformInspectedWindowWidth() * 3 / 4; platformSetAttachedWindowWidth(std::max(minimumAttachedWidth, std::min(defaultAttachedSize, maximumAttachedWidth))); } if (m_client.attach(this)) return; webkitWebViewBaseAddWebInspector(WEBKIT_WEB_VIEW_BASE(m_page->viewWidget()), m_inspectorView, m_attachmentSide); gtk_widget_show(m_inspectorView); }
void WebInspectorProxy::setAttachedWindowWidth(unsigned width) { inspectorPagePreferences().setInspectorAttachedWidth(width); platformSetAttachedWindowWidth(width); }