{-# LANGUAGE ScopedTypeVariables #-} ----------------------------------------------------------------------------- -- | -- Module : Hoodle.Coroutine.Scroll -- Copyright : (c) 2011-2014 Ian-Woo Kim -- -- License : GPL-3 -- Maintainer : Ian-Woo Kim -- Stability : experimental -- Portability : GHC -- ----------------------------------------------------------------------------- module Hoodle.Coroutine.Scroll where import Control.Lens (view,over,_1) import Control.Monad import Control.Monad.State import Control.Monad.Trans.Either -- from hoodle-platform import Control.Monad.Trans.Crtn import Data.Functor.Identity (Identity(..)) import Data.Hoodle.BBox -- from this package import Hoodle.Coroutine.Draw import Hoodle.GUI.Reflect import Hoodle.Type.Enum import Hoodle.Type.Event import Hoodle.Type.Coroutine import Hoodle.Type.Canvas import Hoodle.Type.HoodleState import Hoodle.Type.PageArrangement import qualified Hoodle.ModelAction.Adjustment as A import Hoodle.Accessor import Hoodle.View.Coordinate -- -- | moveViewPortBy :: MainCoroutine ()->CanvasId-> ((Double,Double)->(Double,Double)) -> MainCoroutine () moveViewPortBy rndr cid f = updateXState (return . act) >> adjustScrollbarWithGeometryCvsId cid >> rndr where act xst = let cinfobox = getCanvasInfo cid xst ncinfobox = (runIdentity . forBoth unboxBiXform (return . moveact)) cinfobox in setCanvasInfo (cid,ncinfobox) xst moveact :: CanvasInfo a -> CanvasInfo a moveact cinfo = let BBox (x0,y0) _ = (unViewPortBBox . view (viewInfo.pageArrangement.viewPortBBox)) cinfo DesktopDimension ddim = view (viewInfo.pageArrangement.desktopDimension) cinfo in over (viewInfo.pageArrangement.viewPortBBox) (xformViewPortFitInSize ddim (moveBBoxULCornerTo (f (x0,y0)))) cinfo -- | adjustScrollbarWithGeometryCvsId :: CanvasId -> MainCoroutine () adjustScrollbarWithGeometryCvsId cid = do xstate <- get let cinfobox = getCanvasInfo cid xstate geometry <- liftIO (getCanvasGeometryCvsId cid xstate) let (hadj,vadj) = view (unboxLens adjustments) cinfobox connidh = view (unboxLens horizAdjConnId) cinfobox connidv = view (unboxLens vertAdjConnId) cinfobox liftIO $ A.adjustScrollbarWithGeometry geometry ((hadj,connidh),(vadj,connidv)) -- | adjustScrollbarWithGeometryCurrent :: MainCoroutine () adjustScrollbarWithGeometryCurrent = adjustScrollbarWithGeometryCvsId . view (currentCanvas._1) =<< get {- xstate <- get geometry <- liftIO . getGeometry4CurrCvs $ xstate let cinfobox = view currentCanvasInfo xstate let (hadj,vadj) = unboxGet adjustments cinfobox connidh = unboxGet horizAdjConnId cinfobox connidv = unboxGet vertAdjConnId cinfobox liftIO $ A.adjustScrollbarWithGeometry geometry ((hadj,connidh),(vadj,connidv)) -} -- | hscrollBarMoved :: CanvasId -> Double -> MainCoroutine () hscrollBarMoved cid v = changeCurrentCanvasId cid >> moveViewPortBy (invalidate cid) cid (\(_,y)->(v,y)) -- | vscrollBarMoved :: CanvasId -> Double -> MainCoroutine () vscrollBarMoved cid v = chkCvsIdNInvalidate cid >> moveViewPortBy (invalidate cid) cid (\(x,_)->(x,v)) -- | vscrollStart :: CanvasId -> Double -> MainCoroutine () vscrollStart cid v = do chkCvsIdNInvalidate cid vscrollMove cid v -- | vscrollMove :: CanvasId -> Double -> MainCoroutine () vscrollMove cid v0 = do ev <- nextevent xst <- get geometry <- liftIO (getCanvasGeometryCvsId cid xst) case ev of VScrollBarMoved cid' v -> do when (cid /= cid') $ (lift . hoistEither . Left . Other) "something wrong in vscrollMove" smoothScroll cid geometry v0 v vscrollMove cid v VScrollBarEnd cid' v -> do when (cid /= cid') $ (lift . hoistEither . Left . Other) "something wrong in vscrollMove" moveViewPortBy (invalidate cid) cid (\(x,_)->(x,v)) invalidate cid return () VScrollBarStart cid' v -> vscrollStart cid' v _ -> return () -- | smoothScroll :: CanvasId -> CanvasGeometry -> Double -> Double -> MainCoroutine () smoothScroll cid geometry v0 v = do xst <- get let b = view (settings.doesSmoothScroll) xst let diff = (v - v0) lst' | (diff < 20 && diff > -20) = [v] | (diff < 5 &&diff > -5) = [] | otherwise = let m :: Int = floor (minimum [20, (abs diff) / 10.0]) delta = diff / fromIntegral m in [v0 + fromIntegral n*delta | n <- [1..m] ] lst | b = lst' | otherwise = [v] forM_ lst $ \v' -> do updateXState $ return . over currentCanvasInfo (runIdentity . unboxBiXform (Identity . scrollmovecanvas v) (Identity . scrollmovecanvasCont geometry v') ) invalidateInBBox Nothing Efficient cid where scrollmovecanvas vv cvsInfo = let BBox vm_orig _ = unViewPortBBox $ view (viewInfo.pageArrangement.viewPortBBox) cvsInfo in over (viewInfo.pageArrangement.viewPortBBox) (apply (moveBBoxULCornerTo (fst vm_orig,vv))) cvsInfo -- scrollmovecanvasCont geom vv cvsInfo = let BBox vm_orig _ = unViewPortBBox $ view (viewInfo.pageArrangement.viewPortBBox) cvsInfo cpn = PageNum . view currentPageNum $ cvsInfo ncpn = maybe cpn fst $ desktop2Page geom (DeskCoord (0,vv)) in over currentPageNum (const (unPageNum ncpn)) . over (viewInfo.pageArrangement.viewPortBBox) (apply (moveBBoxULCornerTo (fst vm_orig,vv))) $ cvsInfo