void256/nifty-gui — pull request #89 by floyd1982 (2013-01-27 12:05:14+00:00)
Title: 1.4

* Critical bugfix regarding my change of commit 2bf94cba63, Element.findElementById() didn't work correctly
* Changed method Screen.findElementById() according to Element.findElementById()
* Getter methods for Element padding and margin