From 73bbe88dde8488da220a6f4bb01612c94396cda6 Mon Sep 17 00:00:00 2001 From: Max Rabkin Date: Tue, 29 Sep 2009 18:31:39 +0200 Subject: Test that update preserves invariants of Selection Ignore-this: 340b2a1465b9fc98cdc386b511ce26bb darcs-hash:20090929163139-a5338-41aff4fdfbefe3c50a528bdf1a0c798a90b80381.gz --- XMonad/Layout/Selective.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'XMonad') diff --git a/XMonad/Layout/Selective.hs b/XMonad/Layout/Selective.hs index 415a69f..5853c56 100644 --- a/XMonad/Layout/Selective.hs +++ b/XMonad/Layout/Selective.hs @@ -25,7 +25,7 @@ import XMonad.StackSet import XMonad.Layout.LayoutModifier import Control.Applicative ((<$>)) --- invariant: 0 <= nMaster <= start; 0 <= nRest +-- invariant: 0 <= nMaster <= start; 1 <= nRest data Selection = Sel { nMaster :: Int, start :: Int, nRest :: Int } deriving (Read, Show, Eq) -- cgit v1.2.3