get_pix_left() | WebElement | [inline] |
get_pix_top() | WebElement | [inline] |
get_url() | WebElement | [inline] |
GifDisplay(std::string the_url, std::string top, std::string left, std::string the_height, std::string the_width, std::string the_name) | GifDisplay | [inline] |
height | GifDisplay | [private] |
name | GifDisplay | [private] |
printHTML(xgi::Output *out) | GifDisplay | [virtual] |
WebElement(std::string the_url, std::string top, std::string left) | WebElement | [inline] |
width | GifDisplay | [private] |
~GifDisplay() | GifDisplay | [inline] |
~WebElement() | WebElement | [inline, virtual] |