SawfishWM/sawfish — pull request #3 by vhallac (2013-05-02 18:02:15+00:00)
Title: Fix make-choice-item to properly support crux theme settings

In sawfish-config/appearance, if you select Crux, then try to modify the title bar buttons using Crux Theme page, changing the choice to any value causes an error, and the buttons stay the same.

This is caused by the particular choice type widget usage in Crux theme, where each choice option is a list containing a symbol and a string (instead of the usual symbol only usage in other pages). Since the page displays correctly, I thought the correct patch should be to fix the underlying code in widgets.jl for reading the value when a change event occurs.