9 Commits

Author	SHA1	Message	Date
Tomasz Śniatowski	2b63d586a4	rm negation in preference name	2009-08-04 00:51:08 +01:00
Tomasz Śniatowski	4e496e330d	new lobby sound notifications, much like the old lobby. ... plus a lobby sounds off-switch in advanced preferences.	2009-08-04 00:21:24 +01:00
Tomasz Śniatowski	63a4de5e61	add an advanced preference for disabling new lobby player grouping... ... ...in the player list	2009-07-24 14:06:30 +01:00
Tomasz Śniatowski	4249455378	change default value for one new lobby preference	2009-07-24 14:06:08 +01:00
Tomasz Śniatowski	a529e30c61	add advanced_preference entries for lobby friends-only whisper setting... ... ...and lobby auto-opening of new whisper windows	2009-07-24 14:05:33 +01:00
Alexander van Gessel	853dc96cb7	Add 'description' key to [advanced_preference] to set the help string.	2009-07-18 05:46:44 +01:00
Alexander van Gessel	d698d53ee9	Don't overwrite a changeable preference with a static value. (ping timeout)	2009-07-18 05:26:56 +01:00
Alexander van Gessel	9970eafa3b	Allow [advanced_preference]s to be of 'int' type.	2009-07-18 04:41:38 +01:00
Alexander van Gessel	4ca5e565cf	Move advanced_preferences to their own file.	2009-07-15 04:26:35 +01:00