From ccaac642dea074e397058f1a6a877673e54a86fe Mon Sep 17 00:00:00 2001 From: Spencer Janssen Date: Sat, 30 Jun 2007 08:59:16 +0200 Subject: More ScreenDetails fixes darcs-hash:20070630065916-a5988-433e92903a6530e5efe8f36c3af60339cb9876ec.gz --- CopyWindow.hs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'CopyWindow.hs') diff --git a/CopyWindow.hs b/CopyWindow.hs index 8e6d8d5..901835d 100644 --- a/CopyWindow.hs +++ b/CopyWindow.hs @@ -47,7 +47,7 @@ import StackSet copy :: WorkspaceId -> X () copy n = windows (copy' n) -copy' :: (Ord a, Eq s, Integral i) => i -> StackSet i a s -> StackSet i a s +copy' :: (Ord a, Eq s, Integral i) => i -> StackSet i a s sd -> StackSet i a s sd copy' n s = if n `tagMember` s && n /= tag (workspace (current s)) then maybe s go (peek s) else s @@ -68,11 +68,11 @@ copy' n s = if n `tagMember` s && n /= tag (workspace (current s)) -- Semantics in Huet's paper is that insert doesn't move the cursor. -- However, we choose to insert above, and move the focus. -insertUp' :: Eq a => a -> StackSet i a s -> StackSet i a s +insertUp' :: Eq a => a -> StackSet i a s sd -> StackSet i a s sd insertUp' a s = modify (Just $ Stack a [] []) (\(Stack t l r) -> Just $ Stack a (L.delete a l) (L.delete a (t:r))) s -delete' :: Ord a => a -> StackSet i a s -> StackSet i a s +delete' :: Ord a => a -> StackSet i a s sd -> StackSet i a s sd delete' w = sink w . modify Nothing (filter (/= w)) -- | Remove the focussed window from this workspace. If it's present in no -- cgit v1.2.3