HeinrichApfelmus/threepenny-gui — pull request #11 by daniel-r-austin (2013-03-28 11:07:14+00:00)
Title: Grab elements by HTML ID

I added some functions for getting elements by HTML ID attribute.