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