jverzani/gWidgets2 — pull request #5 by landroni (2013-03-29 09:34:58+00:00)
Title: Misc gfilter tweaks

Some changes are up for discussion (also see comments in extended descriptions).
- 'select one level' seems to me more intuitive than the current label
- "Select multiple levels": one could argue that it is not technically accurate as you can also select one level, but "Select one or more of..." isn't accurate, too, as you would need to say "Select zero, one or more of..."; the latter is confusing and unnecessary, while "Select multiple levels" clearly conveys what this selector type is designed for.

- "selector' instead of 'editor' could also be 'picker' or 'chooser'

- using length(u_x) * 25 for widget height can be dangerous if the line height is not 25 pixels. A line based unit of height for this would be useful. To work around we may want to add 5-10 pixels, just to be sure.

And sorry for the messed up GIT changelog. I'm still learning my way around GIT and I wasn't sure how to get rid of my experimenting commits.