From c452980e448abaa487a0672ba2e86b38a7aea19a Mon Sep 17 00:00:00 2001
From: Don Stewart <dons@galois.com>
Date: Wed, 31 Oct 2007 17:46:18 +0100
Subject: tweaks to todo

darcs-hash:20071031164618-cba2c-4c80ba6427eb0f8ce3f460b0072d2786f3bda20c.gz
---
 TODO | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/TODO b/TODO
index 045ffba..87d00f7 100644
--- a/TODO
+++ b/TODO
@@ -1,6 +1,11 @@
  - Write down invariants for the window life cycle, especially:
     - When are borders set?  Prove that the current handling is sufficient.
 
+ - current floating layer handling is unoptimal. FocusUp should raise,
+   for example
+
+ - Issues still with stacking order.
+
 = Release management =
 
 * build and typecheck all XMC
@@ -9,7 +14,7 @@
 * document, with photos, any new layouts
 * double check README build instructions
 * test core with 6.6 and 6.8
-* upload X11/X11-extras/xmonad to hacakge
+* upload X11/xmonad to hacakge
 * check examples/text in use-facing Config.hs
 * check tour.html and intro.html are up to date, and mention all core bindings
 * bump xmonad.cabal version
-- 
cgit v1.2.3