Re: [Xmonad] darcs patch: Windows on multiple workspaces

bobstopper:

Sat May 26 17:16:17 JST 2007 Rob * Windows on multiple workspaces Previously, it was a invariant that a window will never have duplicates in the stackset.

This invariant has been removed and replaced with the invariant that a window will never have duplicates in a stack. It may have duplicates appear in other stacks. This makes it possible to have DWM style tagging.

Right.

Other than adjusting insertLeft and delete/deleteAll to allow for duplicates in the stackset, support must be made for xinerama. The xinerama support is designed as follows:

1. The current screen always has all windows showing. This ensures that focus (only meaningful on the current screen) will not need to be changed

Ok.

2. non-current visible screens have all windows showing which are not already showing on windows to the screen's "left" (defined as screens with lower ordered identifiers).

Ok. I see. That seems a reasonable behaviour.

This functionality has been placed in a new visibleOnScreen function which returns the windows visible on a screen given the above rules. The refresh and hide functions in Operations have been adjusted to use this new function to ensure windows are displayed sanely.

And QuickCheck properties for it too, please. Just a quick note: We're in feature freeze till 0.2 is tagged in a few days. Bug fixes and QC properties and docs only till then (we'd also accept any changes to contrib modules). So patches providing new features or changing the current behaviour won't be applied. After the release, we'll talk again about this, and a couple of other things on the list to do. -- Don