WPrefs: grouped items related to the menu style in a single place
commitc0d4c16336b98d9baf0d89aaa42d3e4520b73cae
authorChristophe CURIS <christophe.curis@free.fr>
Sun, 26 Oct 2014 18:58:43 +0000 (26 19:58 +0100)
committerCarlos R. Mafra <crmafra@gmail.com>
Sun, 2 Nov 2014 12:13:19 +0000 (2 13:13 +0100)
treea915205a3467ddf4bc23bcb83a9d6c27cdf6a051
parent4bb93d3dabef017d87d1bc5e4d5b0b2705c20157
WPrefs: grouped items related to the menu style in a single place

Having all these information spread in different places makes it error
prone when wanting to add/remove/change something in the list are there are
many unrelated places to keep in sync.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>
WPrefs.app/Appearance.c