Merge pull request #597 from IvanMalison/unDeprecateSpacingFunctions

Undeprecate spacing convenience functions
This commit is contained in:
slotThe 2021-08-28 10:49:21 +02:00 committed by GitHub
commit 04eadeb5ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -329,14 +329,9 @@ orderSelect o (lt,eq,gt) = case o of
-----------------------------------------------------------------------------
{-# DEPRECATED SpacingWithEdge, SmartSpacing, SmartSpacingWithEdge "Use Spacing instead." #-}
{-# DEPRECATED ModifySpacing "Use SpacingModifier instead, perhaps with sendMessages." #-}
{-# DEPRECATED spacing, spacingWithEdge, smartSpacing, smartSpacingWithEdge "Use spacingRaw instead." #-}
{-# DEPRECATED setSpacing "Use setScreenWindowSpacing instead." #-}
{-# DEPRECATED incSpacing "Use incScreenWindowSpacing instead." #-}
-- $backwardsCompatibility
-- The following functions and types exist solely for compatibility with
-- pre-0.14 releases.
-- | A type synonym for the 'Spacing' 'LayoutModifier'.
type SpacingWithEdge = Spacing