equal
deleted
inserted
replaced
32 #include "FocusController.h" |
32 #include "FocusController.h" |
33 #include "PlatformScrollbar.h" |
33 #include "PlatformScrollbar.h" |
34 #include "WebScrollbarDrawer.h" |
34 #include "WebScrollbarDrawer.h" |
35 #include "RenderObject.h" |
35 #include "RenderObject.h" |
36 #include "WebScrollingDeceleratorGH.h" |
36 #include "WebScrollingDeceleratorGH.h" |
37 |
37 #include "pluginskin.h" |
38 #include "WebKitLogger.h" |
38 #include "WebKitLogger.h" |
39 using namespace WebCore; |
39 using namespace WebCore; |
40 // constants |
40 // constants |
41 const int KPageOverviewScrollPeriodic = 20 * 1000; // Update frequently for faster, smoother scrolling |
41 const int KPageOverviewScrollPeriodic = 20 * 1000; // Update frequently for faster, smoother scrolling |
42 const int KMicroInterval = 300000; |
42 const int KMicroInterval = 300000; |
647 if (m_webView->inPageViewMode()) { |
647 if (m_webView->inPageViewMode()) { |
648 if (m_pageOverviewScrollPeriodic->IsActive()){ |
648 if (m_pageOverviewScrollPeriodic->IsActive()){ |
649 m_pageOverviewScrollPeriodic->Cancel(); |
649 m_pageOverviewScrollPeriodic->Cancel(); |
650 } |
650 } |
651 m_webView->closePageView(); |
651 m_webView->closePageView(); |
|
652 PluginSkin* plugin = m_webView->mainFrame()->focusedPlugin(); |
|
653 if(plugin) |
|
654 plugin->setPluginWinClipedRect(); |
652 scrollPageOverviewGH(); |
655 scrollPageOverviewGH(); |
653 m_webView->setViewIsScrolling(false); |
656 m_webView->setViewIsScrolling(false); |
654 m_webView->toggleRepaintTimer(true); |
657 m_webView->toggleRepaintTimer(true); |
655 } |
658 } |
656 else { |
659 else { |