| Safe Haskell | Safe-Inferred |
|---|
Cmd.Views
Description
Lower level Block.View utilities. Specifically, this has support for
Cmd.ViewConfig and Cmd.Create, so they don't have to import each other.
Synopsis
- maximize_and_zoom :: Cmd.M m => ViewId -> m ()
- zoom_to_ruler :: Cmd.M m => ViewId -> m ()
- zoom_factor :: Ui.M m => ViewId -> ScoreTime.TrackTime -> m Double
- set_zoom :: Cmd.M m => ViewId -> Zoom.Zoom -> m ()
- set_time_offset :: Cmd.M m => ViewId -> ScoreTime.TrackTime -> m ()
- modify_zoom :: Cmd.M m => ViewId -> (Zoom.Zoom -> Zoom.Zoom) -> m ()
- resize_to_fit :: Cmd.M m => Bool -> ViewId -> m ()
- contents_rect :: Ui.M m => Block.View -> m Rect.Rect
- set_track_rect :: Ui.M m => ViewId -> Rect.Rect -> m ()
- block_end :: Ui.M m => ViewId -> m ScoreTime.TrackTime
Documentation
maximize_and_zoom :: Cmd.M m => ViewId -> m () Source #
zoom
zoom_to_ruler :: Cmd.M m => ViewId -> m () Source #
Set zoom on the given view to make the entire block visible.
zoom_factor :: Ui.M m => ViewId -> ScoreTime.TrackTime -> m Double Source #
Figure out the zoom factor to display the given amount of TrackTime.
set_time_offset :: Cmd.M m => ViewId -> ScoreTime.TrackTime -> m () Source #
Set time scroll, clipping so it doesn't scroll past block_end.
size
Resize a window to fit its tracks.
contents_rect :: Ui.M m => Block.View -> m Rect.Rect Source #
Get the View's Rect, resized to fit its contents at its current zoom. Its position is unchanged.