From 61c9fe9a9e0000977a85bd3b1777b0c16b1be6f2 Mon Sep 17 00:00:00 2001 From: Michael Cardell Widerkrantz Date: Wed, 28 Jul 2010 13:38:23 +0200 Subject: Fixed. --- TODO | 19 ------------------- 1 file changed, 19 deletions(-) diff --git a/TODO b/TODO index 9d85689..abeb480 100644 --- a/TODO +++ b/TODO @@ -40,25 +40,6 @@ the EWMH _NET_WM_DESKTOP hint we're currently using: We will only be able to save one of the desktops used. -* Use window resizing hints. - - Done, but needs looking over. - - Needs to use the data in the window list instead of asking the - server every time. This means we have to update the window list - data, however. - - When maximizing windows, we need to consider the window resizing - hints. Either that or special treatment when starting to resize a - maximized window. As it is, we can get off by a few pixels when - resizing a maximized window and leave trails... - - Special treatment when someone resizes a fully maximed window... - Should it be possible at all? If so, we need to set new border width - when they do it. - - Possibly set and read hint about maximized state. - * Snap to border and screen edge, which favours the edge. * Figure out why unclutter doesn't work in default mode -- cgit v1.2.3