Some getters etc. for the IDisplay interface to help with testing.