Change behavior of printing settingsmaster
commit45152939dc37b4b7952400b40396782ffaae0147
authorCarlos R. Mafra <crmafra@gmail.com>
Fri, 18 Jan 2013 14:36:23 +0000 (18 14:36 +0000)
committerCarlos R. Mafra <crmafra@gmail.com>
Fri, 18 Jan 2013 14:46:49 +0000 (18 14:46 +0000)
tree328bd6011ffad35410c630c258a8dda1ff24ddc6
parent737d1860596ce87159eba58d6673108108b6bf15
Change behavior of printing settings

WARNING: option -d (--default) is removed in this patch! It should not lead
to regressions because when -d was given wmlaptop would print the default settings
and exit. So there's no change people were using wmlaptop with -d.

Remove the option to print default settings and simply print the settings _in effect_
upon start if --quiet is not given.
src/main.c