
12 Nov
2007
12 Nov
'07
3:11 p.m.
On Mon, Nov 12, 2007 at 02:37:36AM +0100, Lukas Mai wrote:
Mon Nov 12 02:35:51 CET 2007 Lukas Mai
* make default ratios in config nicer to look at
-- Default proportion of screen occupied by master pane - ratio = 0.5 + ratio = 1/2
Looks good to me. No weird imports, and no forcing users to guess that maybe "%" actually means "/". :) -- David Roundy Department of Physics Oregon State University