blob: a9469d572c3802192798ca3be19892e7057ae5a8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
- Tasks blocking xmonad 0.1
- more quickchecks (layout algorithm is one candidate)
- website, xmonad.org
- testing
- Clean up focus and mouse related issues. During 'refresh', xmonad should
ignore EnterNotify events (by changing selectInput for the duration).
- let mod+enter demote a master window
- Xinerama bugs:
- Closing the last window in a workspace moves focus to another Xinerama
screen.
- Focus goes to other Xinerama screen when changing to empty window and
create new window.
- Focus doesn't always follow mouse or mouse click across Xinerama screens;
sometimes focus will only switch with key command to switch to that
screen.
- think about the statusbar/multithreading.
Three shared TVars:
windowTitle :: TVar String
workspace :: TVar Int
statusText :: TVar String
Three threads:
Main thread, handles all of the events that it handles now. When
necessary, it writes to workspace or windowTitle
Status IO thread, the algorithm is something like this:
forever $ do
s <- getLine
atomic (writeTVar statusText s)
Statusbar drawing thread, waits for changes in all three TVars, and
redraws whenever it finds a change.
- Notes on new StackSet:
The actors: screens, workspaces, windows
Invariants:
- There is exactly one screen in focus at any given time.
- A screen views exactly one workspace.
- A workspace is visible on one or zero screens.
- A workspace has zero or more windows.
- A workspace has either one or zero windows in focus. Zero if the
workspace has no windows, one in all other cases.
- A window is a member of only one workspace.
|
