added some getters for use in the upcoming GUIControl