From: Domingo G. <gom...@ho...> - 2010-08-20 11:02:53
|
Date: Fri, 20 Aug 2010 01:49:01 +0200 From: eb...@dr... To: not...@li... Subject: [Notion-devel] (not) reviewing, etc. Re: Is any of the no...@sf... admins around? Also I would like to discuss some ideas. E.g., the mod_xinerama should be thrown away and replaced by mod_xrandr. Also the functionality should be split into two independent parts: mod_xrandr itself should be able just to provide informations from xrandr in some 'general' way, as well as the hooks for watching changes. The code that sets up the screens should be IMHO lua script, that just uses the information provided by mod_xrandr. The windowmanager will be more customizable this way, and there will be no loss in performance as the script will be executed on startup and on screen setup change. I'd also mention the only patch I submited (It is not well programmed as I had little time). That patch changes the way of dividing the space between tab labels from "equal lengths" to "divide by needs". I.e., if you have two tabs, one titled "xterm" and second titled "The web page with a long title - Firefox", then the second tab gets more space, and both will be not truncated. (The algorithm is more complex, but it is well described in the mail I sent to the list.) I can clean up and resubmit the patch once the repository will be up. -- Tomáš 'ebík' Ebenlendr PF 2010.63303710046 I am really happy to see some movement in notion list. I didn't change to notion from ion because I didn't see any kind of movement. I hope that this trend is staying. Cheers, Domingo |