On Tue, 2005-03-29 at 12:06 -0500, Branden Robinson wrote: > > Implementation note: check to see if a "ForceDRI" option is really needed; > the regular "DRI" option's value as configured might be available, or it > might be set to its default value (on) and we won't know what the user said > in the config file at the point this code would execute.
FWIW, you can tell for any option whether it was specified in the configuration file or not. -- Earthling Michel DÃnzer | Debian (powerpc), X and DRI developer Libre software enthusiast | http://svcs.affero.net/rm.php?r=daenzer
