Gui: replaced GuiElement type with an enumeration, Labels are not selectable by default
Gui: Removed useless object copies and fixed const-correctness
Gui: fixed width for triangles, use of TextEvent for catching user input
Gui: corrected Options menu layout
Options menu: audio settings and anti-aliasing applied on the fly
Merge pull request #7 from abodelot/gui

GUI enhancement